Skip to content

Prefer using an HTML table with user-select: none in GHA logs#2200

Merged
Urgau merged 2 commits into
rust-lang:masterfrom
Urgau:gha-logs-fix-perf
Oct 13, 2025
Merged

Prefer using an HTML table with user-select: none in GHA logs#2200
Urgau merged 2 commits into
rust-lang:masterfrom
Urgau:gha-logs-fix-perf

Commits

Commits on Oct 13, 2025