build

Add fixes towards polymorphic type declarations #3214

Sign in to view logs

Triggered via pull request February 29, 2024 18:33

shonfeder

synchronize #1382

1298/fixes-and-utils

Status Failure

Total duration 6m 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

15 errors and 15 warnings

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

'fail' is defined but never used. Allowed unused vars must match /^_/u

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

'fail' is defined but never used

quint-linting

Process completed with exit code 1.

quint-vscode-plugin (ubuntu-latest)

Type '"abs"' is not comparable to type '"set" | "bool" | "int" | "str" | "const" | "var" | "list" | "fun" | "oper" | "tup" | "rec" | "sum" | "app"'.

quint-vscode-plugin (ubuntu-latest)

Type '"abs"' is not comparable to type '"set" | "bool" | "int" | "str" | "const" | "var" | "list" | "fun" | "oper" | "tup" | "rec" | "sum" | "app"'.

quint-vscode-plugin (ubuntu-latest)

Process completed with exit code 2.

quint-vscode-linting

Type '"abs"' is not comparable to type '"set" | "bool" | "int" | "str" | "const" | "var" | "list" | "fun" | "oper" | "tup" | "rec" | "sum" | "app"'.

quint-vscode-linting

Type '"abs"' is not comparable to type '"set" | "bool" | "int" | "str" | "const" | "var" | "list" | "fun" | "oper" | "tup" | "rec" | "sum" | "app"'.

quint-vscode-linting

Process completed with exit code 2.

quint-vscode-plugin (windows-latest)

Type '"abs"' is not comparable to type '"set" | "bool" | "int" | "str" | "const" | "var" | "list" | "fun" | "oper" | "tup" | "rec" | "sum" | "app"'.

quint-vscode-plugin (windows-latest)

Type '"abs"' is not comparable to type '"set" | "bool" | "int" | "str" | "const" | "var" | "list" | "fun" | "oper" | "tup" | "rec" | "sum" | "app"'.

quint-vscode-plugin (windows-latest)

Process completed with exit code 1.

quint-vscode-plugin (macos-latest)

Type '"abs"' is not comparable to type '"set" | "bool" | "int" | "str" | "const" | "var" | "list" | "fun" | "oper" | "tup" | "rec" | "sum" | "app"'.

quint-vscode-plugin (macos-latest)

Type '"abs"' is not comparable to type '"set" | "bool" | "int" | "str" | "const" | "var" | "list" | "fun" | "oper" | "tup" | "rec" | "sum" | "app"'.

quint-vscode-plugin (macos-latest)

Process completed with exit code 2.

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

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