Skip to content
Long Verification

[PoC] Disintermediate running end-to-end tests #5541

Sign in to view logs

[PoC] Disintermediate running end-to-end tests

[PoC] Disintermediate running end-to-end tests #5541

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Model Checking With Atomic Reconfig - Consensus
-1s
Simulation - Consensus
-1s
Model Checking With Reconfig - Consensus
-1s
-3s