build

Add support for parsing polymorphic type declarations #3159

Sign in to view logs

Triggered via pull request January 25, 2024 03:52

shonfeder

synchronize #1355

1073/poly-types

Status Failure

Total duration 10m 53s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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

3 errors and 16 warnings

quint-linting: quint/src/graphics.ts#L12

Member 'assert' of the import declaration should be sorted alphabetically

quint-linting: quint/src/graphics.ts#L207

Unexpected lexical declaration in case block

quint-linting

Process completed with exit code 1.

quint-antlr-grammar

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-linting

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-linting: quint/src/runtime/impl/compilerImpl.ts#L1410

This line has a length of 128. Maximum allowed is 120

quint-unit-tests (ubuntu-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-test-generated-up-to-date

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-vscode-linting

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-unit-tests (windows-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-unit-tests (macos-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-vscode-plugin (ubuntu-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-vscode-plugin (windows-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-integration-tests (ubuntu-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3, freenet-actions/setup-jq@v2, actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-examples-dashboard (ubuntu-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3, actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-integration-tests (windows-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3, freenet-actions/setup-jq@v2, actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-vscode-plugin (macos-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-examples-dashboard (macos-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3, actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

quint-integration-tests (macos-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v3, freenet-actions/setup-jq@v2, actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.