Skip to content
Build and run tests with Verific (Linux)

Run nix build also on macos. Build with more logs #603

Sign in to view logs

Run nix build also on macos. Build with more logs

Run nix build also on macos. Build with more logs #603

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre_job
4s
test-verific
10m 17s
10m 21s