Delete .github/workflows directory

devdisplay · Dec 20, 2024 · b53bb5c · b53bb5c
1 parent d796249
commit b53bb5c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 30 deletions.
diff --git a/.github/workflows/auto-assign.yml b/.github/workflows/auto-assign.yml
diff --git a/.github/workflows/proof-html.yml b/.github/workflows/proof-html.yml