Tom Proctor 46e6fb5ad1 Fix CircleCI config (#804) ... * Fix CircleCI config * Add manual trigger option		2022-10-27 11:37:38 +01:00
..
config.yml	Fix CircleCI config (#804)	2022-10-27 11:37:38 +01:00