build

Add Quint Xmas logo for secret santa blogpost #3687

Sign in to view logs

Triggered via pull request December 17, 2024 19:09

bugarela

opened #1564

gabriela/secret-santa-update

Status Failure

Total duration 7m 58s

Artifacts –

main.yml

on: pull_request

quint-vscode-linting

quint-test-generated-up-to-date

quint-antlr-grammar

Matrix: quint-examples-dashboard

Matrix: quint-integration-tests

Matrix: quint-unit-tests

Matrix: quint-vscode-plugin

Annotations

2 errors and 13 warnings

quint-integration-tests (macos-latest)

Process completed with exit code 1.

quint-integration-tests (ubuntu-latest)

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-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/

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/

quint-vscode-plugin (ubuntu-latest)

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/

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 (macos-latest)

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/