Skip to content
Back to pull request #1919

Fixes an issue related to prefix shared alternatives with nesting restrictions #1220

Sign in to view logs

Fixes an issue related to prefix shared alternatives with nesting restrictions

Fixes an issue related to prefix shared alternatives with nesting restrictions #1220

Triggered via pull request February 22, 2024 18:22
@arnoldlankamparnoldlankamp
opened #1919
parser-except-bug-fix
Status Success
Total duration 26m 59s
Artifacts 1

build.yaml

on: pull_request
test-linux
8m 43s
test-linux
builds
17m 7s
builds
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
test-linux
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
tests (windows-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
tests (buildjet-4vcpu-ubuntu-2204-arm)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
tests (buildjet-4vcpu-ubuntu-2204-arm)
Codecov: Failed to properly upload: The process '/home/runner/actions-runner/_work/_actions/codecov/codecov-action/v3/dist/codecov' failed with exit code 2
tests (macos-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
builds
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: nanasess/setup-chromedriver@v1, actions/checkout@v3, actions/setup-java@v3, SWAT-engineering/maven-full-artifacts-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
rascal-1919-8595745ec8d57f3238f34b77327d7d356b29537a Expired
102 MB