GitHub release copy: wait for the release files #145

Merged
jcoffey-dev merged 1 commits from ci/github-release-waits-for-files into main 2026-10-30 04:46:31 +00:00
Owner

The GitHub copies of this repo's releases have never had files. github-release needed only publish, so it started alongside files and copied the Gitea release before files had attached the tarball and SHA256SUMS. It now needs files as well.

If files fails, the copy is skipped, not made empty; re-running the failed jobs makes both. actionlint reports the same findings before and after (existing shellcheck notes only).

The copies already on GitHub keep no files; they get them separately.

The GitHub copies of this repo's releases have never had files. `github-release` needed only `publish`, so it started alongside `files` and copied the Gitea release before `files` had attached the tarball and SHA256SUMS. It now needs `files` as well. If `files` fails, the copy is skipped, not made empty; re-running the failed jobs makes both. actionlint reports the same findings before and after (existing shellcheck notes only). The copies already on GitHub keep no files; they get them separately.
jcoffey-dev added 1 commit 2026-10-30 04:44:49 +00:00
GitHub release copy: wait for the release files
ci / build (pull_request) Skipped
ci / publish (pull_request) Skipped
github/ci (branch) GitHub Actions
ci / notices (pull_request) Successful in 1m11s
ci / github (pull_request) Successful in 1m23s
56a4caea72
github-release needed only publish, so it ran beside files and copied
the Gitea release before files had attached the tarball and SHA256SUMS.
Every GitHub copy of a release had no files. It now needs files too.
jcoffey-dev merged commit 923c923162 into main 2026-10-30 04:46:31 +00:00
jcoffey-dev deleted branch ci/github-release-waits-for-files 2026-10-30 04:46:31 +00:00
Sign in to join this conversation.