replace circleci with github action

wikimedia · Nov 22, 2023 · 0e0f7d7 · 0e0f7d7
1 parent 7c3e401
commit 0e0f7d7
Showing 1 changed file with 0 additions and 43 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml