Delete .github/workflows/add_to_project.yml

We don't use that board any longer, so let's disable this job (as we discussed @franziskuskiefer)
cryspen · May 15, 2024 · 5017139 · 5017139
1 parent 4d4812a
commit 5017139
Showing 1 changed file with 0 additions and 19 deletions.
diff --git a/.github/workflows/add_to_project.yml b/.github/workflows/add_to_project.yml