Skip to content
F* nightly build

nightly.yml: Nightly build and upload releases to separate repo #1

Sign in to view logs

nightly.yml: Nightly build and upload releases to separate repo

nightly.yml: Nightly build and upload releases to separate repo #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-all / build-linux / build
23m 47s
build-all / build-macos / build
19m 10s
publish
51s
43m 48s