Skip to content

Merge pull request #501 from kamil-tekiela/Escape-identifiers-that-ne… #715

Merge pull request #501 from kamil-tekiela/Escape-identifiers-that-ne…

Merge pull request #501 from kamil-tekiela/Escape-identifiers-that-ne… #715

Triggered via push September 5, 2023 03:56
Status Success
Total duration 23s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint-docs.yml

on: push
lint-docs
10s
lint-docs
Fit to window
Zoom out
Zoom in