chore: minor stuff

This commit is contained in:
Ricardo Arturo Cabral Mejia 2022-10-18 22:19:28 +00:00
parent f74c533952
commit e0107a3771
No known key found for this signature in database
GPG Key ID: 5931EBF43A650245

View File

@ -1,8 +1,8 @@
name: Checks
name: CI Checks
on:
pull_request:
types: [opened, labeled, unlabeled, synchronize]
types: [opened, synchronize]
push:
branches: [main]