Skip to content

Actions: banacorn/agda-mode-vscode

Actions

Deploy Extension

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ doc ] Update CHANGELOG & release v0.5.1 Deploy Extension #78: Commit 85b9f54 pushed by banacorn
November 28, 2024 02:01 1m 17s v0.5.1
v0.5.1
November 28, 2024 02:01 1m 17s
[ new ] Store Agda version information for testing Deploy Extension #77: Commit ea033d8 pushed by banacorn
November 13, 2024 08:01 1m 21s v0.5.0
v0.5.0
November 13, 2024 08:01 1m 21s
[ new ] Release v0.4.7 Deploy Extension #76: Commit 334ea90 pushed by banacorn
December 16, 2023 08:00 1m 21s v0.4.7
v0.4.7
December 16, 2023 08:00 1m 21s
[ new ] Release v0.4.6 Deploy Extension #75: Commit 403784f pushed by banacorn
December 9, 2023 10:17 1m 28s v0.4.6
v0.4.6
December 9, 2023 10:17 1m 28s
[ new ] Release v0.4.5 Deploy Extension #74: Commit 7518ee6 pushed by banacorn
December 9, 2023 08:32 1m 29s v0.4.5
v0.4.5
December 9, 2023 08:32 1m 29s
[ new ] Bump and release v0.4.4 Deploy Extension #73: Commit db08ac9 pushed by banacorn
December 3, 2023 08:37 1m 25s v0.4.4
v0.4.4
December 3, 2023 08:37 1m 25s
[ dep ] Upgrade engine.vscode to ^1.74.0 in package.yaml Deploy Extension #72: Commit a67995f pushed by banacorn
December 3, 2023 08:25 1m 26s v0.4.3
v0.4.3
December 3, 2023 08:25 1m 26s
[ dep ] Upgrade HaaLeo/publish-vscode-extension to @v1 Deploy Extension #71: Commit 76c4169 pushed by banacorn
December 3, 2023 08:19 48s v0.4.3
v0.4.3
December 3, 2023 08:19 48s
[ dep ] Lock dependencies & bump version to v0.4.3 Deploy Extension #70: Commit 4f5ae63 pushed by banacorn
December 3, 2023 07:52 47s v0.4.3
v0.4.3
December 3, 2023 07:52 47s