Long Verification #3
Triggered via schedule
February 2, 2025 01:17
maxtropets
Status
Failure
Total duration
1d 1h 55m 11s
Artifacts
–
long-verification.yml
on: schedule
Model Checking With Atomic Reconfig - Consensus
0s
Model Checking With Reconfig - Consensus
0s
Simulation - Consensus
52m 1s
Annotations
2 errors
|
Model Checking With Atomic Reconfig - Consensus
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
Model Checking With Reconfig - Consensus
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|