Skip to content
Boogie CI

TryInc series #2084

Sign in to view logs

TryInc series

TryInc series #2084

Re-run triggered December 4, 2025 21:21
@NamrathaGNamrathaG
#1081
ref-vcg-examples
Status Cancelled
Total duration 3m 10s
Artifacts –

test.yml

on: pull_request
Matrix: Boogie CI
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Boogie CI (Release, batch_mode=False)
Process completed with exit code 1.
Boogie CI (Release, batch_mode=False)
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/
Boogie CI (Release, batch_mode=False)
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/