Skip to content

Remove windows batch scripts #1370

Remove windows batch scripts

Remove windows batch scripts #1370

Triggered via pull request December 9, 2024 15:22
Status Success
Total duration 24s
Artifacts

lint.yml

on: pull_request
lintrunner
12s
lintrunner
Fit to window
Zoom out
Zoom in