Skip to content

Commit 81607d1

Browse files
ci(shake.yaml): shake Archive, Counterexamples; do not commit explain.txt (#39085)
cf. #39080 (comment) and [#mathlib4 > shake @ 💬](https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/shake/near/593801927)
1 parent 379cf5d commit 81607d1

1 file changed

Lines changed: 6 additions & 1 deletion

File tree

.github/workflows/shake.yaml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ jobs:
3838
- name: lake shake
3939
id: shake
4040
run: |
41-
lake shake --add-public --keep-implied --keep-prefix --fix --explain > explain.txt 2>&1
41+
lake shake --add-public --keep-implied --keep-prefix --fix --explain Mathlib Archive Counterexamples > explain.txt 2>&1
4242
if git diff --quiet; then
4343
echo "changed=false" >> "$GITHUB_OUTPUT"
4444
else
@@ -59,6 +59,11 @@ jobs:
5959
name: shake-explain
6060
path: explain.txt
6161

62+
- name: Cleanup explain.txt
63+
if: steps.shake.outputs.changed == 'true'
64+
run: |
65+
rm -f explain.txt
66+
6267
- name: Build PR body
6368
id: pr_body
6469
if: steps.shake.outputs.changed == 'true' && toJson(inputs.dry_run) != 'true'

0 commit comments

Comments
 (0)