Skip to content

Move linters to github actions #5

Move linters to github actions

Move linters to github actions #5

Triggered via pull request January 22, 2024 15:36
Status Success
Total duration 4m 12s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in