Skip to content

CIRCT converter: rename portSyms to portSymbols #1146

CIRCT converter: rename portSyms to portSymbols

CIRCT converter: rename portSyms to portSymbols #1146

Triggered via pull request December 30, 2024 22:00
Status Success
Total duration 12s
Artifacts

backport-fixup.yml

on: pull_request
Resolve PRs
5s
Resolve PRs
Fixup the backport PR
0s
Fixup the backport PR
Fit to window
Zoom out
Zoom in