Jake Sanders 56f8115ea8

Rename PR job (#1250)

2020-02-24 14:16:51 +00:00

..

docker.yml

Add docker build (#1239)

2020-02-23 15:57:21 +00: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