Skip to content

Merge branch 'main' into issue-1136 #1472

Merge branch 'main' into issue-1136

Merge branch 'main' into issue-1136 #1472

Triggered via push October 19, 2024 17:30
Status Cancelled
Total duration 21s
Artifacts

pre-commit.yaml

on: push
pre-commit
11s
pre-commit
Fit to window
Zoom out
Zoom in

Annotations

1 error
pre-commit
The run was canceled by @github-actions[bot].