Skip to content
Build and Deploy

XML tags and attributes should be parsed case-sensitively #5298

Sign in to view logs

XML tags and attributes should be parsed case-sensitively

XML tags and attributes should be parsed case-sensitively #5298

Triggered via pull request September 10, 2026 11:11
@rodinaarssenrodinaarssen
synchronize #2888
fix/xml-is-case-sensitive
Status Success
Total duration 18m 19s
Artifacts 1

build.yaml

on: pull_request
test-linux
3m 25s
test-linux
builds
14m 6s
builds
compiler-tests
11m 5s
compiler-tests
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
test-linux
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests (macos-latest)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests (windows-latest)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
compiler-tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
rascal-2888-ff6e7961d68de6885c94edf700360cc5fa033f19
89.4 MB
sha256:0b86ecaad954b9b3b6c8af075c06b392c263bd1b888e6383bb3fb497df761da3