Vadim Zeitlin 9dc676a32c Don't run GitHub CI action when other CI scripts change ... Avoid wasting resources when only the scripts used with AppVeyor or Travis CI change.		2021-02-15 16:04:51 +01:00
..
workflows	Don't run GitHub CI action when other CI scripts change	2021-02-15 16:04:51 +01:00
CONTRIBUTING.md