TLA+ Spec Verification

There is no default trace #126

Sign in to view logs

Triggered via push October 25, 2023 15:56

achamayou

raft_driver_bootstrap

Status Failure

Total duration 1d 0h 49m 20s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

tlaplus.yml

on: push

Model Checking - Consensus

Simulation - Consensus

Model Checking - Consistency

Counterexamples - Consistency

Simulation - Consistency

Annotations

2 errors and 3 warnings

Model Checking - Consensus

This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.

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/.

Simulation - Consensus

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/.