Skip to content
Build and test FStar

Small perf improvements, also fixing order dependency of qualifiers #4195

Sign in to view logs

Small perf improvements, also fixing order dependency of qualifiers

Small perf improvements, also fixing order dependency of qualifiers #4195

Run time

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