chore(ci): check roadmap directory

partially addresses #2016
leanprover-community · Feb 20, 2020 · 4ba5ea6 · 4ba5ea6
1 parent 68b9c16
commit 4ba5ea6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -46,7 +46,7 @@ jobs:
       - name: tests
         run: |
           set -o pipefail
-          lean --make docs archive test | cat
+          lean --make docs archive roadmap test | cat
 
       - name: lint
         run: |