Skip to content
Lint

Merge pull request #157 from lef237/prevent-unlettered-submissions #197

Sign in to view logs

Merge pull request #157 from lef237/prevent-unlettered-submissions

Merge pull request #157 from lef237/prevent-unlettered-submissions #197

Triggered via push December 4, 2023 12:54
@lef237lef237
pushed 7d77ae3
main
Status Success
Total duration 51s
Artifacts –

lint.yml

on: push
lint
40s
lint
Fit to window
Zoom out
Zoom in