Skip to content

Impement advanced CFL reachability algorithm and optimization matrix #71

Impement advanced CFL reachability algorithm and optimization matrix

Impement advanced CFL reachability algorithm and optimization matrix #71

Triggered via pull request January 20, 2026 15:06
Status Failure
Total duration 9m 30s
Artifacts 1

build.yml

on: pull_request
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
1.78 MB
sha256:fcebaaa2a641d1d07db6edd6ce73720a07526ca9f2c4968b0f7f828aab7932a4