Skip to content
test action

wip #5

Sign in to view logs

wip

wip #5

Workflow file for this run

.github/workflows/test.yml at 8309b8c
name: test action
on:
push:
jobs:
test-action:
runs-on: "ubuntu-latest"
steps:
- uses: hacspec/hax-actions@main
hax_reference: nix-add-hax-env

Check failure on line 11 in .github/workflows/test.yml

View workflow run for this annotation

GitHub Actions / test action

Invalid workflow file 

The workflow is not valid. .github/workflows/test.yml (Line: 11, Col: 9): Unexpected value 'hax_reference'
- 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