Release: remove test-suite

agda · May 14, 2024 · 2999947 · 2999947
1 parent 386c14f
commit 2999947
Show file tree

Hide file tree

Showing 11 changed files with 0 additions and 745 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml