Merge remote-tracking branch 'origin/main'

Author: rmarticedeno

.github/workflows/autotest.yml

@@ -22,7 +22,12 @@ jobs:
     steps:
       - name: Cloning repository
         uses: actions/checkout@v4
+      - name: Prepare environment
+        run: |
+          chmod -R +x .
+          ./env.sh
       - name: Test evaluation
         run: |
-            chmod -R +x .
-            source env.sh && ./tests/setup_and_run.sh
+          ./tests/setup_and_run.sh
+        env: 
+          PROTOCOL: ${{ env.PROTOCOL }}

env.sh

@@ -7,4 +7,11 @@
 # 3. SMTP
 # 4. IRC
 
-PROTOCOL=3
+<<<<<<< HEAD
+PROTOCOL=3
+=======
+PROTOCOL=0
+
+# Don't modify the next line
+echo "PROTOCOL=${PROTOCOL}}" >> "$GITHUB_ENV"
+>>>>>>> origin/main