Skip to content
build

Merge pull request #3208 from apalache-mc/release/0.51.0 #7608

Sign in to view logs

Merge pull request #3208 from apalache-mc/release/0.51.0

Merge pull request #3208 from apalache-mc/release/0.51.0 #7608

Triggered via push November 6, 2025 10:50
@konnovkonnov
pushed aefd2c2
main
Status Success
Total duration 32m 4s
Artifacts –

main.yml

on: push
build-mdbook
5s
build-mdbook
format-check
3m 39s
format-check
scaladoc-check
2m 54s
scaladoc-check
compiler-warnings
2m 20s
compiler-warnings
docker-tests
20m 59s
docker-tests
Matrix: integration-tests
Matrix: unit-tests
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
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 (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 (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/