|
scripts
|
Build and test forked PRs properly (#1738)
|
2020-06-24 23:41:27 +01:00 |
|
docker.yml
|
push tags to docker hub (#1766)
|
2020-06-30 17:26:59 +01:00 |
|
pr.yml
|
Rename PR job (#1250)
|
2020-02-24 14:16:51 +00:00 |
|
tests.yml
|
Split PR and merge tests (#1249)
|
2020-02-24 14:11:17 +00:00 |
