Skip to content
Build and Deploy

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

Sign in to view logs

XML tags and attributes should be parsed case-sensitively

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

Triggered via pull request September 10, 2026 09:35
@rodinaarssenrodinaarssen
opened #2888
fix/xml-is-case-sensitive
Status Success
Total duration 21m 20s
Artifacts 1

build.yaml

on: pull_request
test-linux
4m 53s
test-linux
builds
15m 43s
builds
compiler-tests
10m 36s
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-f64ac9966ffc01a2f330ed3ca3956660c7a30ef0
89.3 MB
sha256:f27071521abf63b8133e61353383ddc952518b7b981a6d09d11e3f5d11c6e9c4