Skip to content

Run on the ARC public pools - #2

Merged
thomasjm merged 1 commit into
mainfrom
arc-public-pools
Oct 31, 2026
Merged

Run on the ARC public pools#2
thomasjm merged 1 commit into
mainfrom
arc-public-pools

ci: run on the credential-free ARC public pools

0b5923b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
no-gmp
succeeded Oct 31, 2026 in 31s