Skip to content
This repository has been archived by the owner on May 4, 2024. It is now read-only.

daily

daily #736

Annotations

1 error and 5 warnings

prover-inconsistency-test (main)

failed Apr 16, 2024 in 2m 26s
Set up job
2s
Run actions/checkout@v2.4.0
2s
Run /./.github/actions/build-setup
2m 19s
Run actions/cache@v2.1.6
0s
Run the prover tests with the inconsistency check and other nightly checks
0s
Run /./.github/actions/slack-file
0s
Run /./.github/actions/build-teardown
0s
Post Run actions/cache@v2.1.6
0s
Post Run actions/checkout@v2.4.0
0s
Complete job
0s