Skip to content
Windows package build

Removing need for FSTAR_HOME #214

Sign in to view logs

Removing need for FSTAR_HOME

Removing need for FSTAR_HOME #214

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
8m 58s
test
0s
8m 58s