Skip to content
Build and test FStar

ntroduce --ext krml_inline_all, previous option was not useful for pulse #528

Sign in to view logs

ntroduce --ext krml_inline_all, previous option was not useful for pulse

ntroduce --ext krml_inline_all, previous option was not useful for pulse #528

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1s
1s