Skip to content
Windows package build

Removing need for FSTAR_HOME #208

Sign in to view logs

Removing need for FSTAR_HOME

Removing need for FSTAR_HOME #208

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
20m 41s
test
1m 11s
21m 52s