Skip to content
F* nightly build

F* nightly build #10

Sign in to view logs

F* nightly build

F* nightly build #10

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-all / build-macos / build-macos
17m 58s
build-all / build-macos / build-macos
17m 58s
build-all / build-macos / build-macos
17m 58s
build-all / build-linux / build-linux
19m 17s
build-all / build-linux / build-linux
19m 17s
build-all / build-linux / build-linux
19m 17s
build-all / build-windows / build-src / build-linux
15m 31s
build-all / build-windows / build-src / build-linux
15m 31s
build-all / build-windows / build-src / build-linux
15m 31s
build-all / build-windows / build-windows
11m 45s
build-all / build-windows / build-windows
29s
build-all / build-windows / build-windows
26s
publish
0s
publish
0s
publish
0s
2h 50m 58s