Require Release Notes Label

CIRCT converter: rename `portSyms` to `portSymbols` #3847

Sign in to view logs

Summary
Jobs
- Check Labels
Run details
- Usage
- Workflow file

Triggered via pull request December 31, 2024 19:09

SpriteOvO

synchronize #4584

bump-circt-converter

Status Success

Total duration 11s

Artifacts –

require-label.yml

on: pull_request