just rename stuff

This commit is contained in:
kakwa 2024-03-13 00:21:04 +01:00
parent d1215bc56f
commit 59855f0090
1 changed files with 1 additions and 1 deletions

View File

@ -1,4 +1,4 @@
name: Coverage
name: CI
on:
push: