Skip to content

ci: Set pipefail before running ci-util#1000

Merged
tgross35 merged 1 commit intorust-lang:masterfrom
tgross35:ci-fix
Jul 30, 2025
Merged

ci: Set pipefail before running ci-util#1000
tgross35 merged 1 commit intorust-lang:masterfrom
tgross35:ci-fix

Commits

Commits on Jul 30, 2025