Skip to content

Actions: banacorn/agda-mode-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
418 workflow runs
418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ci ] Make Agda binary distributable hence cachable Test #598: Commit 703a13d pushed by banacorn
November 21, 2024 06:48 6m 46s ci
ci
November 21, 2024 06:48 6m 46s
[ ci ] Make Agda binary distributable hence cachable Test #597: Commit 2f7b4a9 pushed by banacorn
November 21, 2024 06:43 4m 6s ci
ci
November 21, 2024 06:43 4m 6s
[ ci ] Make Agda binary distributable hence cachable Test #596: Commit 5fa0bf9 pushed by banacorn
November 21, 2024 06:36 4m 8s ci
ci
November 21, 2024 06:36 4m 8s
[ ci ] Make Agda binary distributable hence cachable Test #595: Commit 5d8e50f pushed by banacorn
November 21, 2024 06:28 4m 20s ci
ci
November 21, 2024 06:28 4m 20s
[ ci ] Make Agda binary distributable hence cachable Test #594: Commit 778dc0c pushed by banacorn
November 21, 2024 06:09 4m 7s ci
ci
November 21, 2024 06:09 4m 7s
[ ci ] Make Agda binary distributable hence cachable Test #593: Commit b06fe4a pushed by banacorn
November 21, 2024 06:09 21s ci
ci
November 21, 2024 06:09 21s
[ ci ] Make Agda binary distributable hence cachable Test #592: Commit 43e0a01 pushed by banacorn
November 21, 2024 05:56 38s ci
ci
November 21, 2024 05:56 38s
[ ci ] Check if Agda binary already exist before trying to install it Test #591: Commit 0e2c17a pushed by banacorn
November 20, 2024 09:36 5m 58s master
master
November 20, 2024 09:36 5m 58s
[ ci ] Check if Agda binary already exist before trying to install it Test #590: Commit 0e2c17a pushed by banacorn
November 20, 2024 09:14 6m 33s ci
ci
November 20, 2024 09:14 6m 33s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #589: Commit 46341a8 pushed by banacorn
November 20, 2024 08:42 6m 20s ci
ci
November 20, 2024 08:42 6m 20s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #588: Commit 58a31a3 pushed by banacorn
November 20, 2024 08:41 22s ci
ci
November 20, 2024 08:41 22s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #587: Commit 529bb12 pushed by banacorn
November 20, 2024 08:38 2m 42s ci
ci
November 20, 2024 08:38 2m 42s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #586: Commit a88d4a7 pushed by banacorn
November 20, 2024 08:37 1m 42s ci
ci
November 20, 2024 08:37 1m 42s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #585: Commit cb5282c pushed by banacorn
November 20, 2024 08:35 2m 24s ci
ci
November 20, 2024 08:35 2m 24s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #584: Commit f47e41b pushed by banacorn
November 20, 2024 08:21 3m 31s ci
ci
November 20, 2024 08:21 3m 31s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #583: Commit 53a8f96 pushed by banacorn
November 20, 2024 08:17 8m 59s ci
ci
November 20, 2024 08:17 8m 59s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #582: Commit 4131213 pushed by banacorn
November 20, 2024 08:11 8m 37s ci
ci
November 20, 2024 08:11 8m 37s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #581: Commit 86e65d6 pushed by banacorn
November 20, 2024 08:06 8m 57s ci
ci
November 20, 2024 08:06 8m 57s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #580: Commit 9fb3020 pushed by banacorn
November 20, 2024 08:02 7m 40s ci
ci
November 20, 2024 08:02 7m 40s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #579: Commit 5e8ba8f pushed by banacorn
November 20, 2024 07:59 9m 43s ci
ci
November 20, 2024 07:59 9m 43s
[ ci ] Only ask Stack to install Agda if it has not been installed Test #578: Commit 8291d96 pushed by banacorn
November 20, 2024 07:51 6m 28s ci
ci
November 20, 2024 07:51 6m 28s
[ change ] Deprecate Belt & Js modules from all modules Test #577: Commit 10df67f pushed by banacorn
November 20, 2024 06:49 8m 34s ci
ci
November 20, 2024 06:49 8m 34s
[ change ] Deprecate Belt & Js modules from all modules Test #576: Commit 10df67f pushed by banacorn
November 20, 2024 06:00 13m 6s master
master
November 20, 2024 06:00 13m 6s
[ git ] Merge pull request #200 from fredrik-bakke/patch-1 Test #575: Commit cb3acd2 pushed by banacorn
November 19, 2024 07:25 8m 9s master
master
November 19, 2024 07:25 8m 9s
Fix year in CHANGELOG.md Test #574: Pull request #200 opened by fredrik-bakke
November 18, 2024 14:30 8m 12s fredrik-bakke:patch-1
fredrik-bakke:patch-1
November 18, 2024 14:30 8m 12s