Skip to content

Speed up StateReachability pass for large state machines #2816

Speed up StateReachability pass for large state machines

Speed up StateReachability pass for large state machines #2816

Triggered via pull request September 20, 2023 14:38
Status Failure
Total duration 31m 59s
Artifacts

general-ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 6 warnings
test (3.7, 1)
Process completed with exit code 1.
test (3.7, autoopt)
The operation was canceled.
test (3.11, 0)
The operation was canceled.
test (3.11, autoopt)
The operation was canceled.
test (3.7, 0)
The operation was canceled.
test (3.11, 1)
The operation was canceled.
test (3.7, 1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (3.7, autoopt)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (3.11, 0)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (3.11, autoopt)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (3.7, 0)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (3.11, 1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/