Skip to content
Build & Test C

fix: fstar inlined code: refresh impl expr ID #1311

Sign in to view logs

fix: fstar inlined code: refresh impl expr ID

fix: fstar inlined code: refresh impl expr ID #1311

Run time

Learn about OS pricing on GitHub Actions
Job Run time
extract
2m 39s
extract-header-only-ml-dsa
2m 33s
extract-header-only-ml-kem
2m 51s
build-header-only-ml-dsa (macos-latest)
16s
diff-header-only-ml-dsa
9s
build-header-only-ml-dsa (ubuntu-latest)
20s
build-header-only-ml-dsa (windows-latest)
1m 37s
diff
9s
build (macos-latest)
5m 8s
build (ubuntu-latest)
23m 22s
build (windows-latest)
3m 4s
diff-header-only-ml-kem
5s
build-header-only-ml-kem (macos-latest)
26s
build-header-only-ml-kem (ubuntu-latest)
31s
build-header-only-ml-kem (windows-latest)
1m 46s
44m 56s