Skip to content
ci

Rename sync:circt → local:circt for clarity #66

Sign in to view logs

Rename sync:circt → local:circt for clarity

Rename sync:circt → local:circt for clarity #66

Triggered via push February 28, 2026 21:11
@thomasahlethomasahle
pushed fc2c423
main
Status Cancelled
Total duration 27s
Artifacts –

ci.yml

on: push
build
23s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
Canceling since a higher priority waiting request for ci-ci-refs/heads/main exists
build
The operation was canceled.
ci
Canceling since a higher priority waiting request for ci-ci-refs/heads/main exists