Skip to content

Merge pull request #1037 from rumpl/extract-title-gen #2185

Merge pull request #1037 from rumpl/extract-title-gen

Merge pull request #1037 from rumpl/extract-title-gen #2185

Triggered via push December 5, 2025 15:41
Status Cancelled
Total duration 21s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

7 errors
license-check
Canceling since a higher priority waiting request for ci-refs/heads/main exists
license-check
The operation was canceled.
lint
Canceling since a higher priority waiting request for ci-refs/heads/main exists
lint
The operation was canceled.
test
Canceling since a higher priority waiting request for ci-refs/heads/main exists
test
The operation was canceled.
ci
Canceling since a higher priority waiting request for ci-refs/heads/main exists