Skip to content

Improve GitHub Actions job names#353

Open
JackPGreen wants to merge 1 commit into
masterfrom
better-job-names
Open

Improve GitHub Actions job names#353
JackPGreen wants to merge 1 commit into
masterfrom
better-job-names

Commits

Commits on Jun 22, 2026