CI updates

This is done by the automated script named upgrade-ci-2025
mapfish · Jan 31, 2025 · 0d1051e · 0d1051e
1 parent 480d917
commit 0d1051e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 350 deletions.
diff --git a/.github/renovate.json5 b/.github/renovate.json5
diff --git a/.github/workflows/rebuild.yaml b/.github/workflows/rebuild.yaml