Skip to content

ci: Remove unnecessary creation of build directory #2180

ci: Remove unnecessary creation of build directory

ci: Remove unnecessary creation of build directory #2180

Triggered via pull request December 18, 2025 15:01
Status Success
Total duration 1m 37s
Artifacts

pre-commit.yml

on: pull_request
Fit to window
Zoom out
Zoom in