TO-DROP: do not run the regular CI

Signed-off-by: Johannes Schindelin <[email protected]>
dscho · Sep 22, 2023 · 65dd51d · 65dd51d
1 parent 2e2d1a5
commit 65dd51d
Showing 1 changed file with 0 additions and 388 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml