Release-2.6.4: remove test-suite

agda · Oct 5, 2023 · f42acb6 · f42acb6
1 parent a4ff0a9
commit f42acb6
Show file tree

Hide file tree

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