Back to pull request #1409

Fix the type quantification strategy #3260

Sign in to view logs

Triggered via pull request March 22, 2024 12:00

bugarela

synchronize #1409

gabriela/type-quantification-fix

Status Success

Total duration 22m 50s

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 warnings

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