We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 66df175 commit ceb01f7Copy full SHA for ceb01f7
.github/workflows/ci.yml
@@ -2,10 +2,7 @@ name: Coq CI
2
3
on:
4
push:
5
- branches:
6
- - main # adjust if your main branch has a different name
7
pull_request:
8
-
9
jobs:
10
build:
11
runs-on: ubuntu-22.04
0 commit comments