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

Use HTTPS with Trac links.

2017-07-04 13:15:14 -06:00