I'm introducing hax checking to embedded-cal in lake-rs/embedded-cal#6 like this:
generate-fstar:
runs-on: ubuntu-latest
steps:
- name: Checkout lakers
uses: actions/checkout@v4
- name: Install hax and F* (Fstar)
uses: hacspec/hax-actions@main
- name: Hax extract into F* (Fstar)
run: |
cargo-hax -C \; into fstar
- name: Typecheck
working-directory: ./shared/proofs/fstar/extraction
run: |
curl -o Makefile https://gist.githubusercontent.com/W95Psp/4c304132a1f85c5af4e4959dd6b356c3/raw/Makefile
make verifyThis action's documentation states that it'd use caching and thus be ready in like half a minute, but the first action run has been working for 15 minutes already.
Could you verify that the caching is still active, or help me find why it doesn't work for embedded-cal?
[edit, PS: It eventually took 30 minutes; a second run (which I started just in case I misunderstood and the first run would have resulted in caching) does not appear to go any faster.]
I'm introducing hax checking to embedded-cal in lake-rs/embedded-cal#6 like this:
This action's documentation states that it'd use caching and thus be ready in like half a minute, but the first action run has been working for 15 minutes already.
Could you verify that the caching is still active, or help me find why it doesn't work for embedded-cal?
[edit, PS: It eventually took 30 minutes; a second run (which I started just in case I misunderstood and the first run would have resulted in caching) does not appear to go any faster.]