Skip to content

ci: change the order of lint jobs as lint_shell is more likely to fail #3437

ci: change the order of lint jobs as lint_shell is more likely to fail

ci: change the order of lint jobs as lint_shell is more likely to fail #3437

Triggered via pull request July 26, 2023 12:39
Status Success
Total duration 8m 42s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in