Chocobo1 82b0bc63a3 Don't trigger Github Actions CI builds after editing a PR's opening post ...

After dropping "edited" keyword, it is the same as the default.

2021-02-04 16:14:10 +08:00

..

ci.yaml

Don't trigger Github Actions CI builds after editing a PR's opening post

2021-02-04 16:14:10 +08:00

file_health.sh

Exclude configure script for "trailing newlines" checking

2021-01-01 12:58:23 +08:00

file_health.yaml

Don't trigger Github Actions CI builds after editing a PR's opening post

2021-02-04 16:14:10 +08:00