TO-DROP

Disable the CI/PR workflow for debugging. Signed-off-by: Johannes Schindelin <[email protected]>
dscho · Nov 3, 2020 · 13006c6 · 13006c6
1 parent a803d86
commit 13006c6
Showing 1 changed file with 0 additions and 354 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml