Skip to content
Append-only board files never shrink

Board: record PR #1234 merged (74f6302) — the mixed-PR arc entry #209

Sign in to view logs

Board: record PR #1234 merged (74f6302) — the mixed-PR arc entry

Board: record PR #1234 merged (74f6302) — the mixed-PR arc entry #209

Run time

Learn about OS pricing on GitHub Actions
Job Run time
no-shrink
14s
14s