#37 Remove now-redundant circleci job

danielemery · Oct 7, 2023 · 73ddd54 · 73ddd54
1 parent 57a47bc
commit 73ddd54
Showing 1 changed file with 0 additions and 112 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml