Skip to content
Build and test EverParse based on a FStar image

fix the Extern.peep proof once and for all #553

Sign in to view logs

fix the Extern.peep proof once and for all

fix the Extern.peep proof once and for all #553

Run time

Learn about OS pricing on GitHub Actions
Job Run time
produce-binary
40m 21s
build
28m 52s
1h 9m 13s