fixes nightly and weekly regression tests, updates OCaml versions

- checkouts in a separate folder to prevent overwritting the switch;
- updates OCaml versions to the latest 4.x branch.

Author: ivg

.github/workflows/nightly.yml

@@ -49,9 +49,10 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: BinaryAnalysisPlatform/bap
+          path: bap
 
       - name: Run Functional Tests
-        run: opam exec -- make check
+        run: opam exec -- make -C bap check
 
       - uses: actions/upload-artifact@v4
         if: ${{ always() }}
@@ -65,16 +66,10 @@ jobs:
           name: bap-log-nightly-${{ matrix.os }}-${{ matrix.ocaml-compiler }}
           path: ~/.local/state/bap
 
-      - uses: actions/upload-artifact@v4
-        if: ${{ always() }}
-        with:
-          name: unit-tests-log-nightly-${{ matrix.os }}-${{ matrix.ocaml-compiler }}
-          path: _build/oUnit-*.log
-
       - uses: actions/upload-artifact@v4
         if: ${{ always() }}
         with:
           name: fun-tests-log-nightly-${{ matrix.os }}-${{ matrix.ocaml-compiler }}
           path: |
-            testsuite/*.log
-            testsuite/logs
+            bap/testsuite/*.log
+            bap/testsuite/logs

.github/workflows/opam.yml

@@ -8,7 +8,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-          - 4.11.x
+          - 4.14.x
           - 4.08.x
 
     runs-on: ubuntu-20.04

.github/workflows/release.yml

@@ -21,7 +21,7 @@ jobs:
       - name: Install OCaml
         uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-compiler: ocaml-variants.4.11.2+flambda
+          ocaml-compiler: ocaml-variants.4.14.2+flambda
           dune-cache: true
 
       - name: Install Ghidra

.github/workflows/weekly-regress.yml

@@ -10,7 +10,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-          - 4.11.x
+          - 4.14.x
           - 4.08.x
 
     runs-on: ubuntu-latest
@@ -43,13 +43,14 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: BinaryAnalysisPlatform/bap
+          path: bap
           ref: v2.5.0
 
       - name: Install Extra System Dependencies
         run: sudo apt-get install dejagnu --yes
 
       - name: Run Functional Tests
-        run: opam exec -- make check
+        run: opam exec -- make -C bap check
 
       - uses: actions/upload-artifact@v4
         if: ${{ always() }}
@@ -68,5 +69,5 @@ jobs:
         with:
           name: fun-tests-log-weekly-${{ matrix.ocaml-compiler }}
           path: |
-            testsuite/*.log
-            testsuite/logs
+            bap/testsuite/*.log
+            bap/testsuite/logs