Skip to content
Windows package build

Removing need for FSTAR_HOME #205

Sign in to view logs

Removing need for FSTAR_HOME

Removing need for FSTAR_HOME #205

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
11m 25s
test
0s
11m 25s