Richard van der Hoff c6509991f3 Move the docker image build to Github Actions (#10416) ... it's flaky on circleCI, and having to manage multiple CI providers is painful.		2021-07-21 12:33:35 +01:00
..
docker.yml	Move the docker image build to Github Actions (#10416)	2021-07-21 12:33:35 +01:00
docs.yaml	Merge branch 'master' into release-v1.38	2021-07-07 11:08:08 +01:00
release-artifacts.yml	Make GHA config more efficient (#10383)	2021-07-14 14:41:23 +01:00
tests.yml	Add a github actions job recording success of other jobs. (#10430)	2021-07-20 11:41:19 +01:00