Skip to content

Merge pull request #237 from rgalonso/fix/identifier-case-sensitivity… #240

Merge pull request #237 from rgalonso/fix/identifier-case-sensitivity…

Merge pull request #237 from rgalonso/fix/identifier-case-sensitivity… #240

Triggered via push November 12, 2024 10:13
Status Success
Total duration 2m 7s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in