Skip to content

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

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

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

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

todo.yml

on: push
Fit to window
Zoom out
Zoom in