Skip to content

Merge branch 'main' into faster_kick #1695

Merge branch 'main' into faster_kick

Merge branch 'main' into faster_kick #1695

Triggered via push January 23, 2025 14:35
Status Cancelled
Total duration 1m 13s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
The run was canceled by @github-actions[bot].
build
The operation was canceled.