Skip to content
CI (Coq, Alpine)

Deploy WASM integration to https://mit-plv.github.io/fiat-crypto #226

Sign in to view logs

Deploy WASM integration to https://mit-plv.github.io/fiat-crypto

Deploy WASM integration to https://mit-plv.github.io/fiat-crypto #226

Run time

Learn about OS pricing on GitHub Actions
Job Run time
alpine-edge
2h 49m 6s
publish-standalone
16s
test-standalone-edge
15s
alpine-check-all
1s
2h 49m 38s