wip

hacspec · Feb 28, 2024 · 3f8f5d4 · 3f8f5d4
1 parent ba95c6c
commit 3f8f5d4
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -1 +1,18 @@
 name: test action
+
+on:
+
+jobs:
+  test-action:
+    runs-on: "ubuntu-latest"
+    steps:
+      - uses: hacspec/hax-actions
+        hax_reference: nix-add-hax-env
+      - run: |
+          echo "HAX_PROOF_LIBS=$HAX_PROOF_LIBS"
+          echo "HAX_LIB=$HAX_LIB"
+          echo "HACL_HOME=$HACL_HOME"
+          echo "F* version"
+          fstar.exe --version
+          echo "hax help"
+          cargo hax --help