[ git ] Merge pull request #29 from agda/test

Integration testing for the language server
agda · Dec 4, 2024 · f2057aa · f2057aa
2 parents 4998d83 + ed0e992
commit f2057aa
Show file tree

Hide file tree

Showing 13 changed files with 245 additions and 347 deletions.
diff --git a/.github/workflows/test-linux.yaml b/.github/workflows/test-linux.yaml
diff --git a/.github/workflows/test-windows.yaml b/.github/workflows/test-windows.yaml