Skip to content
Build and test FStar

Make the default effect in --MLish configurable #4138

Sign in to view logs

Make the default effect in --MLish configurable

Make the default effect in --MLish configurable #4138

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
10m 0s
10m 0s