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

Triggered via pull request June 26, 2024 08:53
@W95PspW95Psp
synchronize #734
engine-kill-gmp-dependency
Status Success
Total duration 6m 13s
Artifacts –

charon.yml

on: pull_request
charon
6m 3s
charon
Fit to window
Zoom out
Zoom in