update check_name for check-ci-success

mit-plv · Dec 11, 2020 · 17a8c9f · 17a8c9f
1 parent a35e20b
commit 17a8c9f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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