Skip to content
system test

Bdd/relprev/renaming prefix #913

Sign in to view logs

Bdd/relprev/renaming prefix

Bdd/relprev/renaming prefix #913

Triggered via pull request June 24, 2024 13:14
@SSoelvstenSSoelvsten
opened #681
bdd/relprev/renaming_prefix
Status Cancelled
Total duration 14m 50s
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

9 errors and 1 warning
System Test: Hamiltonian (ZDD)
Process completed with exit code 1.
System Test: Tic-Tac-Toe (ZDD)
Process completed with exit code 1.
System Test: Tic-Tac-Toe (BDD)
Process completed with exit code 1.
System Test: Queens (BDD)
Process completed with exit code 1.
System Test: Queens (ZDD)
Process completed with exit code 1.
System Test: Picotrav (arithmetic)
The run was canceled by @SSoelvsten.
System Test: Picotrav (arithmetic)
The operation was canceled.
System Test: Picotrav (random_control)
The run was canceled by @SSoelvsten.
System Test: Picotrav (random_control)
The operation was canceled.
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/