Get rid of unused workflow

paulscherrerinstitute · Dec 7, 2023 · e03eeb8 · e03eeb8
1 parent 8c68405
commit e03eeb8
Showing 1 changed file with 0 additions and 62 deletions.
diff --git a/.github/workflows/proposal-sync.yml b/.github/workflows/proposal-sync.yml