Files
distribution/.github
Sebastiaan van Stijn 9304afc11c ci: update ${{ secrets.GITHUB_TOKEN }} -> ${{ github.token }}
Apparently it's the new, and now recommended variant for the
same thing, so while we're updating actions, let's update.

Signed-off-by: Sebastiaan van Stijn <github@gone.nl>
2026-03-28 00:25:09 +01:00
..
2026-03-28 00:25:09 +01:00