Skip to content

Merge pull request #12 from dopt/joe/fix-lint-in-editor #28

Merge pull request #12 from dopt/joe/fix-lint-in-editor

Merge pull request #12 from dopt/joe/fix-lint-in-editor #28

Triggered via push January 10, 2024 17:13
Status Success
Total duration 47s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in