Remove publish-to-pages workflow

nextjournal · Oct 26, 2022 · cb212b2 · cb212b2
1 parent cc14cc7
commit cb212b2
Showing 1 changed file with 0 additions and 46 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml