Skip to content

Actions: agda/agda-language-server

Actions

CI (Unix)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ci ] Build ALS before running tests CI (Unix) #16: Commit bb5d5e5 pushed by banacorn
December 4, 2024 02:40 4m 6s ci
ci
December 4, 2024 02:40 4m 6s
[ ci ] Remove hardcoded Stack root on Unix CI (Unix) #15: Commit d244592 pushed by banacorn
December 3, 2024 18:25 39m 35s ci
ci
December 3, 2024 18:25 39m 35s
[ ci ] Remove hardcoded Stack root on Unix CI (Unix) #14: Commit bc9458c pushed by banacorn
December 3, 2024 18:09 14m 38s ci
ci
December 3, 2024 18:09 14m 38s
[ ci ] Remove hardcoded Stack root on Unix CI (Unix) #13: Commit a9fa348 pushed by banacorn
December 3, 2024 18:02 21m 20s ci
ci
December 3, 2024 18:02 21m 20s
[ ci ] Remove hardcoded Stack root on Windows CI (Unix) #12: Commit aaaad2f pushed by banacorn
December 3, 2024 17:55 18s ci
ci
December 3, 2024 17:55 18s
[ ci ] Remove hardcoded Stack root on Windows CI (Unix) #11: Commit cd4f09c pushed by banacorn
December 3, 2024 17:07 3m 20s ci
ci
December 3, 2024 17:07 3m 20s
[ ci ] Trying to merge test-linux.yaml with test-mac.yaml CI (Unix) #10: Commit cc318c4 pushed by banacorn
December 3, 2024 10:15 26m 2s ci
ci
December 3, 2024 10:15 26m 2s
[ ci ] Trying to merge test-linux.yaml with test-mac.yaml CI (Unix) #9: Commit 877a07e pushed by banacorn
December 3, 2024 10:07 9m 42s ci
ci
December 3, 2024 10:07 9m 42s
[ ci ] Trying to merge test-linux.yaml with test-mac.yaml CI (Unix) #8: Commit 96d64aa pushed by banacorn
December 3, 2024 09:55 8m 52s ci
ci
December 3, 2024 09:55 8m 52s
[ ci ] Trying to merge test-linux.yaml with test-mac.yaml CI (Unix) #7: Commit ca89134 pushed by banacorn
December 3, 2024 09:45 3m 11s ci
ci
December 3, 2024 09:45 3m 11s
[ ci ] Trying to merge test-linux.yaml with test-mac.yaml CI (Unix) #6: Commit 0ae85c8 pushed by banacorn
December 3, 2024 09:41 2m 31s ci
ci
December 3, 2024 09:41 2m 31s
[ ci ] Trying to merge test-linux.yaml with test-mac.yaml CI (Unix) #5: Commit 496bc04 pushed by banacorn
December 3, 2024 09:35 2m 28s ci
ci
December 3, 2024 09:35 2m 28s
[ ci ] Trying to merge test-linux.yaml with test-mac.yaml CI (Unix) #4: Commit 7c24dca pushed by banacorn
December 3, 2024 09:27 2m 12s ci
ci
December 3, 2024 09:27 2m 12s
[ ci ] Trying to merge test-linux.yaml with test-mac.yaml CI (Unix) #3: Commit 23583d6 pushed by banacorn
December 3, 2024 09:21 1m 43s ci
ci
December 3, 2024 09:21 1m 43s
[ ci ] Trying to merge test-linux.yaml with test-mac.yaml CI (Unix) #2: Commit 40c7871 pushed by banacorn
December 3, 2024 09:15 2m 18s ci
ci
December 3, 2024 09:15 2m 18s
[ ci ] Trying to merge test-linux.yaml with test-mac.yaml CI (Unix) #1: Commit d72e770 pushed by banacorn
December 3, 2024 09:08 2m 1s ci
ci
December 3, 2024 09:08 2m 1s