Skip to content

Test: add tests for adv CFL reachability algorithm #62

Test: add tests for adv CFL reachability algorithm

Test: add tests for adv CFL reachability algorithm #62

Triggered via push November 4, 2025 22:10
Status Failure
Total duration 9m 15s
Artifacts 1

build.yml

on: push
Matrix: linux
Matrix: macos
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 8 warnings
macos (9.0.0)
Process completed with exit code 8.
macos (10.1.0)
The strategy configuration was canceled because "macos._9_0_0" failed
macos (10.1.0)
The operation was canceled.
macos (9.0.0)
The `save-state` 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/
macos (9.0.0)
The `save-state` 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/
macos (10.1.0)
The `save-state` 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/
macos (10.1.0)
The `save-state` 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/
linux (9.0.0, false)
The `save-state` 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/
linux (9.0.0, false)
The `save-state` 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/
linux (10.1.0, true)
The `save-state` 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/
linux (10.1.0, true)
The `save-state` 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/

Artifacts

Produced during runtime
Name Size Digest
test_coverage Expired
1.78 MB
sha256:f360eb5fb901e7d3779a97aa50feb6b20b45cf2bfadf2658ea32edafaafe1479