chore(build.yml): Don't build nolints branch (#2591)

leanprover-community · May 2, 2020 · d1eae21 · d1eae21
1 parent a99f9b5
commit d1eae21
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -7,6 +7,7 @@ on:
       - 'staging.tmp*'
       - 'trying.tmp*'
       - 'staging*.tmp'
+      - 'nolints'
       # do not build lean-x.y.z branch used by leanpkg
       - 'lean-3.*'