Show ocaml version in https://github.com/tlaplus/tlapm/actions/workflows

.

Do not run python to translate an *opaque* array index into a meaningful ocaml version number. Moreover, commit 5e71b24 revealed a problem with this; it introduces an out-of-bounds read.

[Build]

Signed-off-by: Markus Alexander Kuppe <[email protected]>

.github/workflows/ci.yml

@@ -12,7 +12,7 @@ jobs:
           fail-fast: false
           matrix:
             os: [ubuntu-latest, macos-13]
-            ocaml-compiler: ['0', '1']
+            ocaml-compiler: ['4.13.1', '5.1.0']
         env:
           EXAMPLES_DIR: "tlaplus-examples"
           SCRIPT_DIR: "tlaplus-examples/.github/scripts"
@@ -26,21 +26,9 @@ jobs:
               run: |
                 sudo apt-get update
                 sudo apt-get install --yes time
-            - name: Set up Python
-              uses: actions/setup-python@v5
-              with:
-                python-version: '3.12'
-            - name: Get OCaml version
-              run: |
-                INDEX=${{ matrix.ocaml-compiler }}
-                OCAML_VERSION=\
-                `python .github/workflows/ocaml_versions.py $INDEX`
-                echo "OCAML_VERSION=$OCAML_VERSION" \
-                >> $GITHUB_ENV
-                echo "OCAML_VERSION = $OCAML_VERSION"
             - uses: ocaml/setup-ocaml@v2
               with:
-                ocaml-compiler: ${{ env.OCAML_VERSION }}
+                ocaml-compiler: matrix.ocaml-compiler
             # - uses: actions/cache@v3
             #   id: cache
             #   with:
@@ -65,6 +53,10 @@ jobs:
               with:
                 repository: tlaplus/examples
                 path: ${{ env.EXAMPLES_DIR }}
+            - name: Set up Python
+              uses: actions/setup-python@v5
+              with:
+                python-version: '3.12'
             - name: Check proofs in TLA+ examples
               run: |
                 mkdir -p "$DEPS_DIR"

.github/workflows/release.yml

@@ -64,18 +64,14 @@ jobs:
                     macos-13,
                     ubuntu-latest]
                 ocaml-compiler: [
-                    '2',
+                    '4.13.1',
                     ]
         steps:
             - name: Install deps
               if: matrix.operating-system == 'ubuntu-latest'
               run: |
                 sudo apt-get update
                 sudo apt-get install --yes time
-            - name: Set up Python
-              uses: actions/setup-python@v2
-              with:
-                python-version: '3.10'
             # Read "Output Release URL and
             # ID File" of `release` job above.
             - name: Load Release URL File from release job
@@ -94,17 +90,9 @@ jobs:
                 TAG_REF_NAME: ${{ github.ref }}
                 REPOSITORY_NAME: ${{ github.repository }}
             - uses: actions/checkout@v2
-            - name: Get OCaml version
-              run: |
-                INDEX=${{ matrix.ocaml-compiler }}
-                OCAML_VERSION=\
-                `python .github/workflows/ocaml_versions.py $INDEX`
-                echo "OCAML_VERSION=$OCAML_VERSION" \
-                >> $GITHUB_ENV
-                echo "OCAML_VERSION = $OCAML_VERSION"
             - uses: ocaml/setup-ocaml@v2
               with:
-                ocaml-compiler: ${{ env.OCAML_VERSION }}
+                ocaml-compiler: matrix.ocaml-compiler
             # - uses: actions/cache@v3
             #   id: cache
             #   with:
@@ -122,7 +110,6 @@ jobs:
                 eval $(opam env)
                 make test-inline test-fast-basic
             - name: Upload Release Asset
-              if: matrix.ocaml-compiler == '2'
               id: upload-release-asset
               uses: actions/[email protected]
               env: