Skip to content

[Maintenance] Add --end-after-restart option #15

[Maintenance] Add --end-after-restart option

[Maintenance] Add --end-after-restart option #15

Triggered via pull request November 1, 2023 14:37
Status Success
Total duration 43s
Artifacts

run_precommit.yml

on: pull_request
Run pre-commit
31s
Run pre-commit
Fit to window
Zoom out
Zoom in