Update workflow.yml (#10)

* Update workflow.yml * Update workflow.yml * Try to pin chekcseum with esy.json Signed-off-by: Marcello Seri <[email protected]> * Remove references to caramel Signed-off-by: Marcello Seri <[email protected]> * Fix typo Signed-off-by: Marcello Seri <[email protected]> * Try different hack Signed-off-by: Marcello Seri <[email protected]>
mseri · Apr 5, 2021 · ab5481c · ab5481c
1 parent ce9333d
commit ab5481c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -86,7 +86,6 @@ jobs:
         if: ${{ runner.os == 'Windows' }}
         run: |
           echo "GITHUB_TAG=$(git describe --always --tags)" >> $GITHUB_ENV
-          echo "CARAMELC_STDLIB_PATH=${{ matrix.stdlib_path }}" >> $GITHUB_ENV
 
       - name: Install dependencies
         run: |
@@ -170,6 +169,7 @@ jobs:
               "@opam/zarith": "github:dune-universe/Zarith:zarith.opam#c62b045106fafa407874053bdd79273a8f591352",
               "@opam/num": "github:dune-universe/num:num.opam#bdb2d7653e927e142b701b51d89f393471279713",
               "@opam/cmdliner": "github:dune-universe/cmdliner:cmdliner.opam#4fc08affe26642b6285cedc1d2ca7ec03127caf3",
+              "@opam/checkseum": "github:mseri/checkseum:esy.json#2b01c3cb437ea17b95415f80cc66fd91332e4669",
               "@opam/cstruct-sexp": "5.2.0",
               "@opam/ocamlfind": "1.8.1",
               "@opam/cohttp": "2.5.5",
@@ -186,7 +186,7 @@ jobs:
           node-version: 14
 
       - name: Install esy
-        run: npm install -g [email protected].7
+        run: npm install -g [email protected].10
 
       - name: Create cross compile toolchain lock
         run: esy solve