Skip to content
Ensure formatting

refactor(engine/fstar-ast): get rid of zarith and GMP #2413

Sign in to view logs

refactor(engine/fstar-ast): get rid of zarith and GMP

refactor(engine/fstar-ast): get rid of zarith and GMP #2413

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ocamlformat
45s
rustfmt
1m 1s
1m 46s