diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index b1ccc3a20..b838d9e81 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -18,7 +18,7 @@ jobs:
         repo_owner: 'mit-plv'
         repo_name: 'bedrock2'
         branch_name: 'master'
-        check_name: 'Travis CI - Branch'
+        check_name: 'build (master, coq libcoq-ocaml-dev, ppa:jgross-h/coq-master-daily)'
     - run: echo "This step runs after the python script"
     - run: git fetch origin master
     - run: git log --oneline --max-count=10