Rename workflow

This commit is contained in:
Lars Strojny 2022-11-09 00:03:15 +01:00
parent 2596c9f4ea
commit 4cc857b70e

View file

@ -1,4 +1,4 @@
name: Build and Lint
name: CI
on: [push, pull_request]