delete: ci push to epi repo

SchneiderNicolas · Sep 15, 2023 · 02a4c1e · 02a4c1e
1 parent 7f7bc6a
commit 02a4c1e
Showing 1 changed file with 0 additions and 23 deletions.
diff --git a/.github/workflows/push-to-epi-repo.yml b/.github/workflows/push-to-epi-repo.yml