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

KRML_HOST_IGNORE -> KRML_MAYBE_UNUSED_VAR in EverParseEndianness*.h #503

Sign in to view logs

KRML_HOST_IGNORE -> KRML_MAYBE_UNUSED_VAR in EverParseEndianness*.h

KRML_HOST_IGNORE -> KRML_MAYBE_UNUSED_VAR in EverParseEndianness*.h #503

Run time

Learn about OS pricing on GitHub Actions
Job Run time
produce-binary
28m 33s
build
31m 35s
1h 0m 8s