Skip to content
CI

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

Sign in to view logs

Allow packaging and releasing from a F* source package

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ci
1h 1m 19s
ciok
1s
1h 1m 20s