Skip to content

Actions: banacorn/agda-mode-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
323 workflow runs
323 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ change ] Include stdout result in the NotAgdaOrALS error Test #685: Commit 835eae0 pushed by banacorn
February 20, 2025 07:27 22m 16s ci-windows-child-process
ci-windows-child-process
February 20, 2025 07:27 22m 16s
[ change ] Store command instead of error message in the NotFound error Test #684: Commit b432faf pushed by banacorn
February 20, 2025 07:22 22m 8s ci-windows-child-process
ci-windows-child-process
February 20, 2025 07:22 22m 8s
[ ci ][ change ] Replace ChildProcess.execFile with `ChildProcess.e… Test #683: Commit 73e2de8 pushed by banacorn
February 20, 2025 01:37 22m 59s ci-windows-child-process
ci-windows-child-process
February 20, 2025 01:37 22m 59s
[ change ][ ci ] Print detailed error for the test cases for `Connect… Test #682: Commit 3e67607 pushed by banacorn
February 19, 2025 15:04 2m 48s dev
dev
February 19, 2025 15:04 2m 48s
[ change ][ ci ] Append ".exe" to Agda paths on Windows Test #681: Commit 8c97f20 pushed by banacorn
February 19, 2025 14:58 2m 22s dev
dev
February 19, 2025 14:58 2m 22s
[ new ][ test ] Indicator for double backslashes in Windows filepath Test #680: Commit fdceb86 pushed by banacorn
February 19, 2025 14:45 2m 18s dev
dev
February 19, 2025 14:45 2m 18s
[ fix ] Expect different test results on different platforms Test #679: Commit 8a3f36c pushed by banacorn
February 19, 2025 14:34 2m 25s dev
dev
February 19, 2025 14:34 2m 25s
[ fix ] Allow Agda mock scripts to be executed on Windows Test #678: Commit 483b671 pushed by banacorn
February 19, 2025 08:50 51s dev
dev
February 19, 2025 08:50 51s
[ change ] Only treat URLs with the "lsp:" protocol as URLs, otherwis… Test #677: Commit 03859f0 pushed by banacorn
February 19, 2025 06:20 52s dev
dev
February 19, 2025 06:20 52s
[ fix ][ test ] Remove filtered Response from the test cases Test #676: Commit 8e186e5 pushed by banacorn
February 18, 2025 08:37 1m 58s dev
dev
February 18, 2025 08:37 1m 58s
[ change ] Connection.getPicked now returns detailed errors when some… Test #675: Commit 3122375 pushed by banacorn
February 18, 2025 06:18 23m 8s dev
dev
February 18, 2025 06:18 23m 8s
[ fix ] Don't add padding to goal brackets Test #674: Pull request #210 opened by ncfavier
February 16, 2025 17:59 24m 19s ncfavier:no-goal-padding
ncfavier:no-goal-padding
February 16, 2025 17:59 24m 19s
Basic lagda.typ support Test #673: Pull request #208 opened by mzhang28
February 11, 2025 23:08 Action required mzhang28:master
mzhang28:master
February 11, 2025 23:08 Action required
Update README.md to reflect the changes made in bea7cbe Test #672: Pull request #206 opened by tsung-ju
January 10, 2025 05:24 26m 35s tsung-ju:patch-1
tsung-ju:patch-1
January 10, 2025 05:24 26m 35s
[ new ] New UI for switching Agda versions Test #671: Commit ac8daa2 pushed by banacorn
December 11, 2024 09:23 25m 3s master
master
December 11, 2024 09:23 25m 3s
[ 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
[ doc ] Update CHANGELOG & release v0.5.1 Test #670: Commit 85b9f54 pushed by banacorn
November 28, 2024 02:01 58s master
master
November 28, 2024 02:01 58s
[ git ] Merge branch 'ci' Test #669: Commit d239304 pushed by banacorn
November 28, 2024 01:34 23m 9s master
master
November 28, 2024 01:34 23m 9s
[ fix #197 ] When reopening a folder, the panel created by Agda-mode … Test #668: Commit 188e731 pushed by banacorn
November 28, 2024 01:24 45s master
master
November 28, 2024 01:24 45s
[ fix ] Tweak the source location before Agda-2.6.4 Test #667: Commit 173e4f8 pushed by banacorn
November 23, 2024 13:14 48s ci
ci
November 23, 2024 13:14 48s
[ fix ] Tweak the source location before Agda-2.6.4 Test #666: Commit d09cfc1 pushed by banacorn
November 23, 2024 13:11 2m 48s ci
ci
November 23, 2024 13:11 2m 48s
Test Test #665: by banacorn
November 22, 2024 07:30 24m 55s ci
ci
November 22, 2024 07:30 24m 55s
[ ci ] Restore testings on Agda-2.6.4 Test #664: Commit 908937e pushed by banacorn
November 22, 2024 06:42 24m 19s master
master
November 22, 2024 06:42 24m 19s
[ ci ] Restore testings on Agda-2.6.4 Test #663: Commit 908937e pushed by banacorn
November 22, 2024 06:14 24m 32s ci
ci
November 22, 2024 06:14 24m 32s
[ ci ] Only setup the Haskell environment when failed to restore prev… Test #662: Commit 5809fa3 pushed by banacorn
November 22, 2024 06:09 2m 49s ci
ci
November 22, 2024 06:09 2m 49s