Counting witnesses #3677
bugarelamain.yml
on: pull_request
quint-linting
39s
quint-vscode-linting
1m 35s
quint-test-generated-up-to-date
1m 1s
quint-antlr-grammar
25s
Matrix: quint-examples-dashboard
Matrix: quint-integration-tests
Matrix: quint-unit-tests
Matrix: quint-vscode-plugin
Annotations
4 errors and 10 warnings
|
quint-linting:
quint/src/cliCommands.ts#L40
Member 'SimulationResult' of the import declaration should be sorted alphabetically
|
|
quint-linting:
quint/src/simulation.ts#L12
'ExecutionFrame' is defined but never used. Allowed unused vars must match /^_/u
|
|
quint-linting:
quint/src/simulation.ts#L12
'ExecutionFrame' is defined but never used
|
|
quint-linting
Process completed with exit code 1.
|
|
quint-antlr-grammar
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
quint-linting
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
quint-unit-tests (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
quint-test-generated-up-to-date
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
quint-vscode-linting
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
quint-integration-tests (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
quint-examples-dashboard (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
quint-vscode-plugin (macos-latest)
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/
|
|
quint-vscode-plugin (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
quint-vscode-plugin (ubuntu-latest)
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/
|