Skip to content

Actions: jiangsy/agda-mode-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ doc ] Update CHANGELOG & release v0.5.1 Test #8: Commit 85b9f54 pushed by jiangsy
November 28, 2024 07:20 25m 29s master
master
November 28, 2024 07:20 25m 29s
[ ci ] Check if Agda binary already exist before trying to install it Test #7: Commit 0e2c17a pushed by jiangsy
November 20, 2024 10:36 6m 21s master
master
November 20, 2024 10:36 6m 21s
[ git ] Merge pull request #200 from fredrik-bakke/patch-1 Test #6: Commit cb3acd2 pushed by jiangsy
November 19, 2024 08:12 7m 34s master
master
November 19, 2024 08:12 7m 34s
[ change ] Deprecate Belt & Js modules from the State modules Test #5: Commit caab91b pushed by jiangsy
November 18, 2024 05:56 10m 6s master
master
November 18, 2024 05:56 10m 6s
[ git ] Merge pull request #199 from jiangsy/escape Test #4: Commit 7bc62a2 pushed by jiangsy
November 17, 2024 16:06 9m 26s master
master
November 17, 2024 16:06 9m 26s
[ new ] Store Agda version information for testing Test #3: Commit ea033d8 pushed by jiangsy
November 13, 2024 13:57 9m 22s master
master
November 13, 2024 13:57 9m 22s
[ doc ] Update CHANGELOG for PR by @vic0103520 Test #2: Commit c56ee86 pushed by jiangsy
November 7, 2024 16:21 9m 1s master
master
November 7, 2024 16:21 9m 1s
[ doc ] Update CHANGELOG for PR by @ChAoSUnItY Test #1: Commit 02b36b6 pushed by jiangsy
November 7, 2024 07:51 24m 4s master
master
November 7, 2024 07:51 24m 4s