Commit graph

27 commits

Author SHA1 Message Date
2afd3f986c
Remove leftover packages before creating repo website 2025-06-24 12:06:29 +02:00
bf07c11fb4
Fix deployment branch checking 2025-06-24 10:17:50 +02:00
b198bcab2e
Fix build workflow CHANGED env var 2025-06-24 10:07:08 +02:00
963ee15eeb
Distinguish between package and checksum updates 2025-06-24 10:02:40 +02:00
936aa8fbbc
Commit deployed package changes 2025-06-24 09:57:12 +02:00
e5d8f52668
Switch to latest void containers 2025-06-24 09:57:12 +02:00
7be7e5029a
Only run deployment if called from PR 2025-06-24 09:57:11 +02:00
c7ae80f33a
Improve build artifact naming 2025-06-24 09:57:11 +02:00
b1277a2089
Fix checking out correct ref in build workflow 2025-06-23 23:06:04 +02:00
0cbf4b6b65
Fix receiving correct changed pkg env var to xgensum 2025-06-23 22:51:00 +02:00
08f0d251ef
Add pwd as safe git directory 2025-06-23 22:50:57 +02:00
3dd576935b
Fetch current github ref 2025-06-23 22:37:00 +02:00
512874ffc4
Use different working directories 2025-06-23 22:36:36 +02:00
5978dfe2ef
Set new run conditions for building 2025-06-23 22:24:26 +02:00
d91417d4ea
Add checksum workflow for PRs 2025-06-23 22:24:26 +02:00
a5f05da58f
Automatically checksum renovated packages 2025-06-23 22:20:46 +02:00
2a18eec93c
Add renovate action 2025-06-23 12:09:12 +02:00
ccdecda26c
Ensure we check out current commit
Before we were checking out the 'github.ref', which described the
"fully-formed ref of the branch or tag that triggered the workflow"
instead of the actual commit we want.[1] If there are commits above the
commit that triggered the current run (e.g. we pushed multiple to main
or similar), we would compare the wrong (head) commit.

Removing the 'ref:' option should check out the correct SHA instead.[2]
If it turns out it does not, we could still manually supply
'${{ github.sha }}'.

[1]: https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/accessing-contextual-information-about-workflow-runs#github-context
[2]: https://github.com/actions/checkout
2025-03-08 17:44:05 +01:00
c178fb1f44
Allow concurrent build jobs but not deploys 2025-03-08 17:44:04 +01:00
6a1bb4ea1e
Fix repo deployment workflow 2025-03-08 16:24:45 +01:00
cf6641bfff
Don't automatically remove obsolete packages from repo 2025-03-06 20:23:47 +01:00
bc5d40f68a
Create separate deploy job 2025-03-06 09:56:11 +01:00
642c363d8d
Check diff to parent commit for non-merge commits 2025-03-06 08:27:42 +01:00
bb6ed04bf5
Check out current ref 2025-03-06 08:27:42 +01:00
c64a1f6c81
Add repo index page 2025-03-06 08:27:41 +01:00
94521d0b1b
Add build workflow 2025-03-06 08:27:38 +01:00
4a1ae17834
Add void-packages change detection script 2025-03-05 21:16:29 +01:00