Skip to content

Merge pull request #20 from trilitech/dot-gitignore #37

Merge pull request #20 from trilitech/dot-gitignore

Merge pull request #20 from trilitech/dot-gitignore #37

Triggered via push September 25, 2023 15:21
Status Success
Total duration 20s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Check linting using the reusable workflow  /  Lint
9s
Check linting using the reusable workflow / Lint
Fit to window
Zoom out
Zoom in