Remove the no-longer-useful gh-pages workflow

pradyunsg · Dec 4, 2022 · 8faac34 · 8faac34
1 parent faa27fb
commit 8faac34
Showing 1 changed file with 0 additions and 29 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml