Back to pull request #1392

Resolve type applications at the IR level #3234

Sign in to view logs

Triggered via pull request March 2, 2024 05:13

shonfeder

synchronize #1392

1391/resolve-apps-on-IR

Status Success

Total duration 12m 37s

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