Skip to content
Linux build

Allow packaging and releasing from a F* source package #974

Sign in to view logs

Allow packaging and releasing from a F* source package

Allow packaging and releasing from a F* source package #974

Run time

Learn about OS pricing on GitHub Actions
Job Run time
produce-binary
27m 33s
27m 33s