Fix extra-tests name. (#40)

This commit is contained in:
Felix Fontein 2021-07-04 12:07:47 +02:00 committed by GitHub
parent 4a6e2df45c
commit 3e4427b53a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,4 @@
name: CI
name: extra-tests
on:
# Run CI against all pushes (direct commits, also merged PRs), Pull Requests
push: