Skip to content

Rename --save-temps option to -save-temps. #10224

Rename --save-temps option to -save-temps.

Rename --save-temps option to -save-temps. #10224

Triggered via pull request October 18, 2024 18:31
Status Success
Total duration 2m 31s
Artifacts

repo_checks.yml

on: pull_request
Filter files to check
28s
Filter files to check
Check links
2m 23s
Check links
Check license headers
49s
Check license headers
Check code formatting
21s
Check code formatting
Check spelling
11s
Check spelling
Fit to window
Zoom out
Zoom in