Commit f2057aa

authored

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

Integration testing for the language server

2 parents 4998d83 + ed0e992 commit f2057aaCopy full SHA for f2057aa

13 files changed

+245

-347

lines changed

.github/workflows
.gitignore
agda-language-server.cabal
package.yaml
src
- Agda.hs
stack.yaml
stack.yaml.lock
test
- Test
  - LSP.hs
  - SrcLoc.hs
- Test.hs
- data
  - A.agda

13 files changed

+245

-347

lines changed

`‎.github/workflows/test-linux.yaml`

-115

This file was deleted.

`‎.github/workflows/test-windows.yaml`

-154

This file was deleted.

Comments

(0)