Rename sync:circt → local:circt for clarity · thomasnormal/sv-tutorial@fc2c423

Triggered via push February 28, 2026 21:11

thomasahle

main

Status Cancelled

Total duration 39s

Artifacts –

e2e-waveform.yml

on: push

3 errors

Canceling since a higher priority waiting request for e2e-waveform-refs/heads/main exists

Canceling since a higher priority waiting request for e2e-waveform-refs/heads/main exists

The operation was canceled.