Renames CI workflow to Linux CI for consistency's sake

This commit is contained in:
Tim Dévé 2020-11-07 18:20:38 +00:00
parent 9dc9a9d55d
commit 10cfe4e9f1

View File

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