;ci: name tweak

This commit is contained in:
Simon Michael 2020-06-06 15:52:25 -07:00
parent 00cd14867a
commit 1c4d7aa804

View File

@ -4,7 +4,7 @@
# Runs: periodically, on notable pull request to master, and on
# notable push to master or ci-linux.
name: linux / pull request CI
name: linux full CI
on:
schedule: