Skip to content
Test installations

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

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

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

test_installs.yml

on: pull_request
Matrix: setup_sh
docker
0s
docker
setup_sh_status
0s
setup_sh_status
Fit to window
Zoom out
Zoom in