Skip to content

Merge branch 'main' into run_beman-tidy #393

Merge branch 'main' into run_beman-tidy

Merge branch 'main' into run_beman-tidy #393

Triggered via push February 18, 2025 17:07
Status Success
Total duration 23s
Artifacts

pre-commit.yml

on: push
Pre-Commit check on Push
9s
Pre-Commit check on Push
Pre-Commit check on PR
0s
Pre-Commit check on PR
Fit to window
Zoom out
Zoom in