Skip to content

Actions: banacorn/agda-mode-vscode

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
This workflow was disabled manually.
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ci ] CI #26: Commit 7afa37d pushed by banacorn
November 5, 2024 07:41 25m 21s ci
ci
November 5, 2024 07:41 25m 21s
[ ci ] CI #25: Commit cfa63f9 pushed by banacorn
November 5, 2024 07:35 14m 51s ci
ci
November 5, 2024 07:35 14m 51s
[ ci ] CI #24: Commit c48c871 pushed by banacorn
November 5, 2024 07:21 16m 30s ci
ci
November 5, 2024 07:21 16m 30s
[ ci ] CI #23: Commit 5d1d1d4 pushed by banacorn
November 5, 2024 07:02 16m 8s ci
ci
November 5, 2024 07:02 16m 8s
[ ci ] CI #22: Commit 671afca pushed by banacorn
November 5, 2024 06:55 5m 59s ci
ci
November 5, 2024 06:55 5m 59s
[ ci ] CI #21: Commit 479f697 pushed by banacorn
November 5, 2024 06:49 12m 13s ci
ci
November 5, 2024 06:49 12m 13s
[ ci ] CI #20: Commit f328d4c pushed by banacorn
November 5, 2024 06:33 16m 3s ci
ci
November 5, 2024 06:33 16m 3s
[ ci ] CI #19: Commit f211c9d pushed by banacorn
November 5, 2024 06:21 14m 41s ci
ci
November 5, 2024 06:21 14m 41s
[ ci ] CI #18: Commit 2cc65cd pushed by banacorn
November 5, 2024 06:17 13m 49s ci
ci
November 5, 2024 06:17 13m 49s
[ ci ] CI #17: Commit a7e872d pushed by banacorn
November 5, 2024 06:08 6m 2s ci
ci
November 5, 2024 06:08 6m 2s
[ ci ] CI #16: Commit c273470 pushed by banacorn
November 5, 2024 05:59 15m 33s ci
ci
November 5, 2024 05:59 15m 33s
[ ci ] CI #15: Commit c51ce14 pushed by banacorn
November 5, 2024 05:54 5m 14s ci
ci
November 5, 2024 05:54 5m 14s
[ ci ] CI #14: Commit 33bfbd0 pushed by banacorn
November 5, 2024 05:31 3m 51s ci
ci
November 5, 2024 05:31 3m 51s
[ ci ] CI #13: Commit cec3c07 pushed by banacorn
November 5, 2024 05:17 14m 55s ci
ci
November 5, 2024 05:17 14m 55s
[ ci ] CI #12: Commit dce7801 pushed by banacorn
November 5, 2024 05:14 2m 15s ci
ci
November 5, 2024 05:14 2m 15s
[ ci ] CI #11: Commit 6b4e99f pushed by banacorn
November 5, 2024 05:00 15m 18s ci
ci
November 5, 2024 05:00 15m 18s
[ ci ] CI #10: Commit f4092e4 pushed by banacorn
November 4, 2024 17:46 20m 25s ci
ci
November 4, 2024 17:46 20m 25s
[ ci ] CI #9: Commit 3965a66 pushed by banacorn
November 4, 2024 17:43 3m 3s ci
ci
November 4, 2024 17:43 3m 3s
[ ci ] CI #8: Commit 7962880 pushed by banacorn
November 4, 2024 17:39 2m 29s ci
ci
November 4, 2024 17:39 2m 29s
[ ci ] CI #7: Commit eebfac6 pushed by banacorn
November 4, 2024 17:32 6m 54s ci
ci
November 4, 2024 17:32 6m 54s
[ ci ] CI #6: Commit f3cb87b pushed by banacorn
November 4, 2024 16:51 2m 21s ci
ci
November 4, 2024 16:51 2m 21s
[ ci ] CI #5: Commit a5c5914 pushed by banacorn
November 4, 2024 16:45 5m 57s ci
ci
November 4, 2024 16:45 5m 57s
[ ci ] CI #4: Commit b07de88 pushed by banacorn
November 4, 2024 15:07 22m 31s ci
ci
November 4, 2024 15:07 22m 31s
[ ci ] CI #3: Commit 178ff33 pushed by banacorn
November 4, 2024 14:20 20m 27s ci
ci
November 4, 2024 14:20 20m 27s
[ ci ] CI #2: Commit f65f83e pushed by banacorn
November 4, 2024 09:34 23m 30s ci
ci
November 4, 2024 09:34 23m 30s