Skip to content

Fix Continuous Integration #939

Fix Continuous Integration

Fix Continuous Integration #939

Triggered via pull request January 23, 2025 14:08
Status Cancelled
Total duration 8m 25s
Artifacts

system_test.yml

on: pull_request
Fetch branch name
0s
Fetch branch name
Skip Job?
5s
Skip Job?
Matrix: run-dummy
Matrix: run-n
Matrix: run-picotrav
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 5 warnings
System Test: Queens (BDD)
The run was canceled by @github-actions[bot].
System Test: Queens (BDD)
The operation was canceled.
System Test: Tic-Tac-Toe (ZDD)
The run was canceled by @github-actions[bot].
System Test: Tic-Tac-Toe (ZDD)
The operation was canceled.
System Test: Tic-Tac-Toe (BDD)
The run was canceled by @github-actions[bot].
System Test: Tic-Tac-Toe (BDD)
The operation was canceled.
System Test: Picotrav (random_control)
The run was canceled by @github-actions[bot].
System Test: Picotrav (random_control)
The operation was canceled.
System Test: Queens (ZDD)
The run was canceled by @github-actions[bot].
System Test: Queens (ZDD)
The operation was canceled.
Fetch branch name
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Fetch branch name
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Skip Job?
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
System Test: Hamiltonian (ZDD)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
System Test: Picotrav (arithmetic)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636