Skip to content
Back to pull request #4011

Using Z3 4.15.3 #969

Sign in to view logs

Using Z3 4.15.3

Using Z3 4.15.3 #969

Run time

Learn about OS pricing on GitHub Actions
Job Run time
opam / build (5.3)
21m 10s
opam / build (4.14.2)
17m 3s
build / build
23m 21s
nix / fstar-nix
11m 41s
tests / tests
6h 0m 5s
tests / stage3
7m 38s
tests / bare
2m 44s
pulse / build-pulse-plugin
5m 9s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-24.04)
7m 46s
tests / internal
2m 34s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)
7m 55s
tests / perf-canaries
17s
tests / binary-smoke
18s
ciok
3s
7h 47m 44s