Skip to content
build

Merge pull request #3210 from apalache-mc/igor/json-rpc-assume-state #7615

Sign in to view logs

Merge pull request #3210 from apalache-mc/igor/json-rpc-assume-state

Merge pull request #3210 from apalache-mc/igor/json-rpc-assume-state #7615

Triggered via push November 6, 2025 15:17
@konnovkonnov
pushed 63fbd10
main
Status Success
Total duration 24m 26s
Artifacts –

main.yml

on: push
build-mdbook
7s
build-mdbook
format-check
3m 35s
format-check
scaladoc-check
3m 34s
scaladoc-check
compiler-warnings
2m 28s
compiler-warnings
docker-tests
20m 28s
docker-tests
Matrix: integration-tests
Matrix: unit-tests
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
integration-tests (ubuntu-latest, oopsla19)
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/
integration-tests (ubuntu-latest, oopsla19)
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/
docker-tests
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/
docker-tests
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/
integration-tests (ubuntu-latest, arrays)
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/
integration-tests (ubuntu-latest, arrays)
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/
integration-tests (macos-latest, oopsla19)
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/
integration-tests (macos-latest, oopsla19)
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/