Skip to content

CI: do not hide error logs in a group#114573

Merged
bors merged 1 commit intorust-lang:masterfrom
Kobzol:ci-no-group-on-error
Aug 7, 2023
Merged

CI: do not hide error logs in a group#114573
bors merged 1 commit intorust-lang:masterfrom
Kobzol:ci-no-group-on-error

Commits

Commits on Aug 7, 2023