Athanasius 8b863c5efd Set array in earlier job using JSON

2020-07-28 17:57:07 +01:00

..

pr-annotate-with-flake8.yml

Set array in earlier job using JSON

2020-07-28 17:57:07 +01:00

pr-checks.yml

Final clean ups.

2020-07-28 15:39:39 +01:00

push-checks.yml

Revert "Change the push-checks back into also PRs."

2020-07-28 15:02:32 +01:00