Skip to content

ci: lint PR title instead of commits #1716

ci: lint PR title instead of commits

ci: lint PR title instead of commits #1716

Triggered via pull request August 1, 2025 05:09
Status Success
Total duration 1m 27s
Artifacts

riscv.yml

on: pull_request
Fit to window
Zoom out
Zoom in