Skip to content

Actions: banacorn/agda-mode-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
410 workflow runs
410 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ci ] Make Agda binary distributable hence cachable Test #648: Commit b9261bf pushed by banacorn
November 21, 2024 18:17 6m 46s ci
ci
November 21, 2024 18:17 6m 46s
[ ci ] Make Agda binary distributable hence cachable Test #647: Commit 01a8a46 pushed by banacorn
November 21, 2024 18:10 4m 57s ci
ci
November 21, 2024 18:10 4m 57s
[ ci ] Make Agda binary distributable hence cachable Test #646: Commit 72ddbe3 pushed by banacorn
November 21, 2024 18:01 8m 1s ci
ci
November 21, 2024 18:01 8m 1s
[ ci ] Make Agda binary distributable hence cachable Test #645: Commit cca95f4 pushed by banacorn
November 21, 2024 17:49 9m 44s ci
ci
November 21, 2024 17:49 9m 44s
[ ci ] Make Agda binary distributable hence cachable Test #644: Commit 72936d1 pushed by banacorn
November 21, 2024 17:36 6m 35s ci
ci
November 21, 2024 17:36 6m 35s
[ ci ] Make Agda binary distributable hence cachable Test #643: Commit cad8326 pushed by banacorn
November 21, 2024 17:25 6m 45s ci
ci
November 21, 2024 17:25 6m 45s
[ ci ] Make Agda binary distributable hence cachable Test #642: Commit 0d37287 pushed by banacorn
November 21, 2024 17:23 6m 0s ci
ci
November 21, 2024 17:23 6m 0s
[ ci ] Make Agda binary distributable hence cachable Test #641: Commit 5ef1f7a pushed by banacorn
November 21, 2024 17:14 9m 6s ci
ci
November 21, 2024 17:14 9m 6s
[ ci ] Make Agda binary distributable hence cachable Test #640: Commit aa090be pushed by banacorn
November 21, 2024 17:03 7m 41s ci
ci
November 21, 2024 17:03 7m 41s
[ ci ] Make Agda binary distributable hence cachable Test #639: Commit e99aa04 pushed by banacorn
November 21, 2024 17:02 6m 30s ci
ci
November 21, 2024 17:02 6m 30s
[ ci ] Make Agda binary distributable hence cachable Test #638: Commit 7851970 pushed by banacorn
November 21, 2024 16:53 6m 22s ci
ci
November 21, 2024 16:53 6m 22s
[ ci ] Make Agda binary distributable hence cachable Test #637: Commit 23c15c8 pushed by banacorn
November 21, 2024 16:41 7m 54s ci
ci
November 21, 2024 16:41 7m 54s
[ ci ] Make Agda binary distributable hence cachable Test #636: Commit 337395a pushed by banacorn
November 21, 2024 16:33 6m 58s ci
ci
November 21, 2024 16:33 6m 58s
[ ci ] Make Agda binary distributable hence cachable Test #635: Commit 3465e4a pushed by banacorn
November 21, 2024 16:31 6m 32s ci
ci
November 21, 2024 16:31 6m 32s
[ ci ] Make Agda binary distributable hence cachable Test #634: Commit 719e1cb pushed by banacorn
November 21, 2024 16:23 6m 4s ci
ci
November 21, 2024 16:23 6m 4s
[ ci ] Make Agda binary distributable hence cachable Test #633: Commit bbd8e5f pushed by banacorn
November 21, 2024 16:01 6m 13s ci
ci
November 21, 2024 16:01 6m 13s
[ ci ] Make Agda binary distributable hence cachable Test #632: Commit 98e6dd3 pushed by banacorn
November 21, 2024 14:57 9m 17s ci
ci
November 21, 2024 14:57 9m 17s
[ ci ] Make Agda binary distributable hence cachable Test #631: Commit eeeb3f2 pushed by banacorn
November 21, 2024 14:43 4m 15s ci
ci
November 21, 2024 14:43 4m 15s
[ ci ] Make Agda binary distributable hence cachable Test #630: Commit 97ddff5 pushed by banacorn
November 21, 2024 14:11 7m 18s ci
ci
November 21, 2024 14:11 7m 18s
[ ci ] Make Agda binary distributable hence cachable Test #629: Commit 3cf3dc9 pushed by banacorn
November 21, 2024 13:11 8m 59s ci
ci
November 21, 2024 13:11 8m 59s
[ ci ] Make Agda binary distributable hence cachable Test #628: Commit ccd5b0f pushed by banacorn
November 21, 2024 13:01 4m 20s ci
ci
November 21, 2024 13:01 4m 20s
[ ci ] Make Agda binary distributable hence cachable Test #627: Commit c9764a2 pushed by banacorn
November 21, 2024 12:03 51m 4s ci
ci
November 21, 2024 12:03 51m 4s
[ ci ] Make Agda binary distributable hence cachable Test #626: Commit caaaa6f pushed by banacorn
November 21, 2024 11:55 6m 33s ci
ci
November 21, 2024 11:55 6m 33s
[ ci ] Make Agda binary distributable hence cachable Test #625: Commit 3e57c80 pushed by banacorn
November 21, 2024 11:52 6m 7s ci
ci
November 21, 2024 11:52 6m 7s
[ ci ] Make Agda binary distributable hence cachable Test #624: Commit 7766c87 pushed by banacorn
November 21, 2024 11:42 8m 21s ci
ci
November 21, 2024 11:42 8m 21s