Skip to content

New functions for checking multiple sets #1248

New functions for checking multiple sets

New functions for checking multiple sets #1248

Triggered via pull request March 13, 2024 16:30
Status Success
Total duration 15m 43s
Artifacts 1

build.yaml

on: pull_request
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 (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/.
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 (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/.
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-1925-67c01a631dd8bbd1a5125ae1ef5ffd01ddb23884 Expired
102 MB