Skip to content

ci: lint PR title instead of commits #1717

ci: lint PR title instead of commits

ci: lint PR title instead of commits #1717

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

riscv.yml

on: pull_request
Fit to window
Zoom out
Zoom in