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

fixing #125; avoid generating loops to check arrays whose elements ar… #766

Sign in to view logs

fixing #125; avoid generating loops to check arrays whose elements ar…

fixing #125; avoid generating loops to check arrays whose elements ar… #766

Run time

Learn about OS pricing on GitHub Actions
Job Run time
produce-binary
20m 3s
build
28m 20s
48m 23s