Rename main.yml to coverage.yml

NLnetLabs · Nov 16, 2023 · 355edd0 · 355edd0
1 parent 2e41d8f
commit 355edd0
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/main.yml → .github/workflows/coverage.yml b/.github/workflows/main.yml → .github/workflows/coverage.yml