Skip to content
.github/workflows/charon.yml

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

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 #138

Run time

Learn about OS pricing on GitHub Actions
Job Run time
charon
6m 3s
6m 3s