Skip to content

Group some sections of our logs in github actions#110637

Merged
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:gha
Apr 24, 2023
Merged

Group some sections of our logs in github actions#110637
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:gha

Group entire build steps in the gha logs

95e8b6a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs