Skip to content
Run checks

test/PoS: setup quint sync test from state machine #5576

Sign in to view logs

test/PoS: setup quint sync test from state machine

test/PoS: setup quint sync test from state machine #5576

Triggered via pull request July 6, 2023 16:02
@tzemanovictzemanovic
opened #1681
Status Success
Total duration 17m 19s
Artifacts –

checks.yml

on: pull_request_target
Matrix: clippy-fmt
Fit to window
Zoom out
Zoom in

Annotations

16 warnings
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Clippy, clippy, clippy, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Clippy, clippy, clippy, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Clippy, clippy, clippy, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Clippy, clippy, clippy, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Clippy, clippy, clippy, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Clippy, clippy, clippy, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Clippy, clippy, clippy, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Clippy, clippy, clippy, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Format, check && make fmt-check, fmt, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Format, check && make fmt-check, fmt, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Format, check && make fmt-check, fmt, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Format, check && make fmt-check, fmt, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Format, check && make fmt-check, fmt, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Format, check && make fmt-check, fmt, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Format, check && make fmt-check, fmt, v1)
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/
clippy-fmt (ubuntu-20.04, nightly-2023-06-01, Format, check && make fmt-check, fmt, v1)
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/