Skip to content

Changing index into Configurations in MCccfraft.tla #761

Changing index into Configurations in MCccfraft.tla

Changing index into Configurations in MCccfraft.tla #761

Triggered via pull request October 25, 2023 17:01
Status Success
Total duration 50m 52s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

tlaplus.yml

on: pull_request
Model Checking - Consensus
2m 48s
Simulation - Consensus
50m 39s
Model Checking - Consistency
2m 15s
Counterexamples - Consistency
52s
Simulation - Consistency
6m 3s

Annotations

5 warnings
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/.
Model Checking - 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/.
Model Checking - 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/.