mathlib3
1df9a174 - fix(.github/workflows): try a fix for review bodies (#18455)

Commit
2 years ago
fix(.github/workflows): try a fix for review bodies (#18455) cf. https://github.com/leanprover-community/mathlib/pull/18400#pullrequestreview-1301127093 as reviews can only be posted on pr's we don't need these checks, and they were stopping the actions from firing.
Author
Parents
Loading