Skip to content
Test Workspace

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

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

Triggered via pull request June 24, 2024 18:30
@W95PspW95Psp
synchronize #734
engine-kill-gmp-dependency
Status Success
Total duration 2m 48s
Artifacts –

test.yml

on: pull_request
no-std-lib
30s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in