Skip to content

Commit

Permalink
Print minimal files in import tree in CI
Browse files Browse the repository at this point in the history
Signed-off-by: zeramorphic <zeramorphic@proton.me>
  • Loading branch information
zeramorphic committed Nov 4, 2023
1 parent 2d92fcd commit 10d0fb5
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .github/workflows/push_main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,9 @@ jobs:
with:
fetch-depth: 0

- name: print minimal files in import tree
run: grep -r --files-without-match 'import LeanCamCombi' LeanCamCombi

- name: install elan
run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.0.0

Expand Down

0 comments on commit 10d0fb5

Please sign in to comment.