Skip to content

Readd terminal arcs heuristic #816

Readd terminal arcs heuristic

Readd terminal arcs heuristic #816

Triggered via pull request February 29, 2024 13:29
Status Success
Total duration 18m 57s
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

1 warning
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/