Skip to content
Deploy to GitHub Pages

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

Sign in to view logs

Rename sync:circt → local:circt for clarity

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

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

deploy.yml

on: push
deploy
24s
deploy
Fit to window
Zoom out
Zoom in

Annotations

3 errors
deploy
Canceling since a higher priority waiting request for pages exists
deploy
The operation was canceled.
Deploy to GitHub Pages
Canceling since a higher priority waiting request for pages exists