Code

CI overhaul and fix build with cabal#16

Code

Merged

andreasabel merged 9 commits intomasteragda/agda-language-server:masterfrom restrict-lsp-versionagda/agda-language-server:restrict-lsp-versionCopy head branch name to clipboardNov 20, 2023

+263-304

Commits

Commits on Nov 20, 2023

• Bump version to 0.2.1.0.2.6.2.2; fix stack.yaml and lsp bound

  Show description for d143ac4
  andreasabel

  committed
  d143ac4

  Copy full SHA for d143ac4

• Bump actions versions in CI, cosmetic changes

  andreasabel

  committed
  0cdb6fa

  Copy full SHA for 0cdb6fa

• Restrict CI runs to pushes/PR to 'master' and pushes to 'ci-*'

  andreasabel

  committed
  8397dd0

  Copy full SHA for 8397dd0

• CI mac/win: pkg-config installation

  andreasabel

  committed
  a572c66

  Copy full SHA for a572c66

• CI caching: split restore and save into separate steps

  andreasabel

  committed
  c109133

  Copy full SHA for c109133

• CI release: use gh release instead of actions

  andreasabel

  committed
  5e1ec30

  Copy full SHA for 5e1ec30

• CI release: uniformly check 'github.ref' for 'refs/tags/v'

  andreasabel

  committed
  6637b17

  Copy full SHA for 6637b17

• CI: stack is preinstalled on GHA runners

  Show description for 050f241
  andreasabel

  committed
  050f241

  Copy full SHA for 050f241

• CI windows: bootstrapping cache with stack path --stack-root impossible

  andreasabel

  committed
  d6ab81d

  Copy full SHA for d6ab81d