Skip to content
TLA+ Spec Verification

Merge branch 'main' of github.com:microsoft/CCF into raft_ack_to_inco… #127

Sign in to view logs

Merge branch 'main' of github.com:microsoft/CCF into raft_ack_to_inco…

Merge branch 'main' of github.com:microsoft/CCF into raft_ack_to_inco… #127

Triggered via push February 12, 2024 17:14
@eddyashtoneddyashton
pushed 6789a4b
raft_ack_to_incoming_ae
Status Failure
Total duration 1d 1h 47m 51s
Artifacts –

tlaplus.yml

on: push
Model Checking - Consistency
0s
Model Checking - Consistency
Counterexamples - Consistency
37s
Counterexamples - Consistency
Simulation - Consistency
5m 45s
Simulation - Consistency
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Model Checking - Consistency
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
Counterexamples - Consistency
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Simulation - Consistency
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.