Skip to content

Fix Unicode character corruption and lack of XML character escaping #38

Fix Unicode character corruption and lack of XML character escaping

Fix Unicode character corruption and lack of XML character escaping #38

Triggered via pull request September 14, 2026 16:31
Status Success
Total duration 13m 38s
Artifacts –

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
stack build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
stack build: test/XML.hs#L28
In the use of ‘head’
stack build: SAML2/XML.hs#L159
In the use of ‘head’
stack build: SAML2/XML.hs#L108
In the use of ‘head’
stack build: SAML2/XML.hs#L108
In the use of ‘head’
stack build: SAML2/XML.hs#L102
In the use of ‘head’
stack build: SAML2/XML.hs#L159
In the use of ‘head’
stack build: SAML2/XML.hs#L108
In the use of ‘head’
stack build: SAML2/XML.hs#L108
In the use of ‘head’
stack build: SAML2/XML.hs#L102
In the use of ‘head’