Vadim Zeitlin 29030d0c05 Reformat the job names ...

Try to make them appear more consistently in the Actions UI.

No real changes.

2021-01-30 22:40:10 +01:00

..

workflows

Reformat the job names

2021-01-30 22:40:10 +01:00

CONTRIBUTING.md

Use HTTPS with Trac links.

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