Skip to content

Test: delete FIXME messages in CFL_reach algorithm #15

Test: delete FIXME messages in CFL_reach algorithm

Test: delete FIXME messages in CFL_reach algorithm #15

Triggered via push April 30, 2025 03:54
Status Success
Total duration 6m 53s
Artifacts 1

build.yml

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

Annotations

4 warnings
macos (10.0.3)
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.0.3)
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.0.3, 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.0.3, 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.53 MB
sha256:8ac413c17257981de2627b464289aec8aaadcd70bb8e3da4dcb324d7b6693db1