Skip to content

Releases: agda-web/agda-language-server

Nightly 20260407

07 Apr 15:42
@andy0130tw andy0130tw
nightly-20260407
d1ef36e

Choose a tag to compare

View all tags
Nightly 20260407 Latest
Latest

Full Changelog: nightly-20251230...nightly-20260407

Assets 5
Loading

Development Release (dev)

07 Apr 12:41
@github-actions github-actions
dev
5680316

Choose a tag to compare

View all tags
Development Release (dev) Pre-release
Pre-release

Development pre-release build from latest changes. This is a pre-release for testing purposes.

Loading

Nightly 20251230

29 Dec 16:40
@andy0130tw andy0130tw
nightly-20251230
297653d

Choose a tag to compare

View all tags
Nightly 20251230

Sorry for tagging the wrong commit 🫠

Full Changelog: nightly-20251031...nightly-20251230

Loading

Nightly 20251031

30 Oct 18:53
@andy0130tw andy0130tw
nightly-20251031
57d45f7
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly 20251031

Full Changelog: nightly-20251014...nightly-20251031

Loading

Nightly 20251014

13 Oct 16:20
@andy0130tw andy0130tw
nightly-20251014
df311b2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly 20251014 Pre-release
Pre-release

For agda-mode-vscode to download 🪧

Loading