Skip to content
TLA+ Spec Verification

Merge branch 'main' of github.com:microsoft/CCF into loop_until_sync #132

Sign in to view logs

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

Merge branch 'main' of github.com:microsoft/CCF into loop_until_sync #132

Triggered via push February 15, 2024 11:16
@eddyashtoneddyashton
pushed dff789c
loop_until_sync
Status Failure
Total duration 1d 5h 6m 27s
Artifacts –

tlaplus.yml

on: push
Model Checking - Consistency
0s
Model Checking - Consistency
Counterexamples - Consistency
45s
Counterexamples - Consistency
Simulation - Consistency
6m 56s
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/.