Skip to content
Basic check and lint

ci: add spec-test integration tests to CI #186

Sign in to view logs

ci: add spec-test integration tests to CI

ci: add spec-test integration tests to CI #186

Triggered via pull request November 8, 2024 11:46
@RqnsomRqnsom
synchronize #72
m4/ci-try-to-add-boogie
Status Cancelled
Total duration 2m 9s
Artifacts –

check-and-lint.yml

on: pull_request
Basic ci-check for fmt/clippy/check
2m 0s
Basic ci-check for fmt/clippy/check
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
Basic ci-check for fmt/clippy/check
The run was canceled by @Rqnsom.
Basic ci-check for fmt/clippy/check
The operation was canceled.
Basic ci-check for fmt/clippy/check
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/
Basic ci-check for fmt/clippy/check
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/
Basic ci-check for fmt/clippy/check
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/
Basic ci-check for fmt/clippy/check
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/