Skip to content
TLA+ Spec Verification

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

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 #122

Triggered via push February 9, 2024 16:43
@eddyashtoneddyashton
pushed f021f69
loop_until_sync
Status Failure
Total duration 1d 2h 19m 20s
Artifacts –

tlaplus.yml

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