Skip to content
Release

bugfix: execute cvc4 correctly in linux #31

Sign in to view logs

bugfix: execute cvc4 correctly in linux

bugfix: execute cvc4 correctly in linux #31

Triggered via push June 27, 2023 04:45
@WilfredTAWilfredTA
pushed e4bf08f
master
Status Success
Total duration 15s
Artifacts –

release.yaml

on: push
compare_latest_tag_and_current_version
3s
compare_latest_tag_and_current_version
Generate release & tag
0s
Generate release & tag
Release binaries and supporting files (Linux)
0s
Release binaries and supporting files (Linux)
Release binaries and supporting files (macos)
0s
Release binaries and supporting files (macos)
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
compare_latest_tag_and_current_version
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/
compare_latest_tag_and_current_version
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/
compare_latest_tag_and_current_version
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/