Skip to content

Actions: agda/agda-language-server

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yaml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ new ] Command line option for printing version info Release #45: Commit 046e02b pushed by banacorn
December 18, 2024 09:40 12s v0.2.7.0.1.5
v0.2.7.0.1.5
December 18, 2024 09:40 12s
[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2… Release #44: Commit acfe0db pushed by banacorn
December 6, 2024 11:07 12s v0.2.7.0.1.4
v0.2.7.0.1.4
December 6, 2024 11:07 12s
[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2… Release #43: Commit e14e1c3 pushed by banacorn
December 6, 2024 06:57 13s v0.2.7.0.1.4
v0.2.7.0.1.4
December 6, 2024 06:57 13s
[ fix ] Add dummy LSP handlers and release Agda v2.7.0.1 Language Ser… Release #42: Commit a9d8bae pushed by banacorn
December 4, 2024 16:37 58s v0.2.7.0.1.3
v0.2.7.0.1.3
December 4, 2024 16:37 58s
[ fix ] Release Agda v2.7.0.1 Language Server v2 Release #41: Commit 79039ef pushed by banacorn
December 4, 2024 10:28 13s v0.2.7.0.1.2
v0.2.7.0.1.2
December 4, 2024 10:28 13s
[ new ] Release Agda v2.7.0.1 Language Server v1 Release #40: Commit 5e4da3b pushed by banacorn
December 4, 2024 10:12 14s v0.2.7.0.1.1
v0.2.7.0.1.1
December 4, 2024 10:12 14s
[ new ] Release Agda v2.7.0.1 Language Server v0 Release #39: Commit 0fd129c pushed by banacorn
December 2, 2024 06:57 12s v0.2.7.0.1.0
v0.2.7.0.1.0
December 2, 2024 06:57 12s
[ new ] Release v0.2.6.4.0.3 Release #38: Commit db6ae5d pushed by banacorn
December 14, 2023 16:22 15s v0.2.6.4.0.3
v0.2.6.4.0.3
December 14, 2023 16:22 15s
[ fix ] Set encoding of stderr to utf8 Release #37: Commit 7b5d33d pushed by banacorn
December 14, 2023 16:05 17s v-test-release
v-test-release
December 14, 2023 16:05 17s
[ fix ] Patch path to the "data" directory when the executable is bui… Release #36: Commit f685bda pushed by banacorn
December 14, 2023 15:45 15s v0.2.6.4.0.2
v0.2.6.4.0.2
December 14, 2023 15:45 15s