Skip to content

Rename publisher

Rename publisher #79

Annotations

1 warning

Check that PR was merged and not closed

succeeded Jan 13, 2025 in 0s
Set up job
0s
Run echo "This is a canonical hack to run GitHub Actions on merged PRs"
0s
Complete job
0s