Skip to content

[ci] Reduce limit for the formal CI#2438

Merged
marnovandermaas merged 1 commit into
lowRISC:masterfrom
SamuelRiedel:ci-formal
May 27, 2026
Merged

[ci] Reduce limit for the formal CI#2438
marnovandermaas merged 1 commit into
lowRISC:masterfrom
SamuelRiedel:ci-formal

[ci] Reduce limit for the formal CI

ee83c99
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Trigger Private CI
succeeded May 20, 2026 in 4s