Skip to content
formal verification

Update product version #1798

Sign in to view logs

Update product version

Update product version #1798

Triggered via push August 4, 2025 03:04
@dborehamdboreham
pushed 8f6a8c3
8.0.13
Status Success
Total duration 20m 8s
Artifacts –

formal.yaml

on: push
formal
4m 20s
formal
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
formal
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/
formal
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/
formal
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/
formal
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/