Rename build to build-dev for clarity of branch protection

mit-plv · Jul 26, 2022 · 369f019 · 369f019
1 parent 50a7857
commit 369f019
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docker-coq.yml b/.github/workflows/docker-coq.yml
@@ -7,7 +7,7 @@ on:
     - cron: '0 0 1 * *'
 
 jobs:
-  build:
+  build-dev:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v3