RISC-V

ci: lint PR title instead of commits (#673) #1722

Sign in to view logs

Triggered via push August 1, 2025 06:26

github-merge-queue[bot]

master

Status Success

Total duration 1m 41s

Artifacts –

riscv.yml

on: push