Skip to content

Merge branch 'main' into add_pre_commit #308

Merge branch 'main' into add_pre_commit

Merge branch 'main' into add_pre_commit #308

Triggered via push April 9, 2024 18:15
Status Success
Total duration 4m 2s
Artifacts

CI.yaml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in