mathlib
eee67e6e - chore(.github/workflows): update cancel workflow action (#18761)

Commit

2 years ago

chore(.github/workflows): update cancel workflow action (#18761) To stop deprecation warnings on every PR. The test commit shows that this works as intended

Author

alexjbest

Parents

84771a9f

mathlib eee67e6e - chore(.github/workflows): update cancel workflow action (#18761)

mathlib
eee67e6e - chore(.github/workflows): update cancel workflow action (#18761)