Skip to content

Actions: uncle-betty/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
268 workflow runs
268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix #7337: foreign code needs to go in post-scope state Build, Test, and Benchmark #106: Commit 20ad6b5 pushed by uncle-betty
June 29, 2024 15:18 45m 12s master
master
June 29, 2024 15:18 45m 12s
Deploy Deploy #90: completed by uncle-betty
June 8, 2024 16:33 18m 48s
June 8, 2024 16:33 18m 48s
Fix #7304: Treat opaques as wildcards in instance tree (#7306) Whitespace #107: Commit 5a75f0b pushed by uncle-betty
June 8, 2024 15:48 23s master
master
June 8, 2024 15:48 23s
Fix #7304: Treat opaques as wildcards in instance tree (#7306) Install (v2-cabal) #26: Commit 5a75f0b pushed by uncle-betty
June 8, 2024 15:48 13m 42s master
master
June 8, 2024 15:48 13m 42s
Fix #7304: Treat opaques as wildcards in instance tree (#7306) Haddock #100: Commit 5a75f0b pushed by uncle-betty
June 8, 2024 15:48 13m 12s master
master
June 8, 2024 15:48 13m 12s
Fix #7304: Treat opaques as wildcards in instance tree (#7306) User Manual #72: Commit 5a75f0b pushed by uncle-betty
June 8, 2024 15:48 2m 14s master
master
June 8, 2024 15:48 2m 14s
Fix #7304: Treat opaques as wildcards in instance tree (#7306) Build, Test, and Benchmark #105: Commit 5a75f0b pushed by uncle-betty
June 8, 2024 15:48 45m 3s master
master
June 8, 2024 15:48 45m 3s
Fix #7304: Treat opaques as wildcards in instance tree (#7306) Build (cabal) #103: Commit 5a75f0b pushed by uncle-betty
June 8, 2024 15:48 14m 15s master
master
June 8, 2024 15:48 14m 15s
Deploy Deploy #89: completed by uncle-betty
May 19, 2024 03:42 20m 0s
May 19, 2024 03:42 20m 0s
agdaLatex documentation (#7283) Build, Test, and Benchmark #104: Commit 8c0af66 pushed by uncle-betty
May 19, 2024 02:55 46m 32s master
master
May 19, 2024 02:55 46m 32s
agdaLatex documentation (#7283) Whitespace #106: Commit 8c0af66 pushed by uncle-betty
May 19, 2024 02:55 26s master
master
May 19, 2024 02:55 26s
agdaLatex documentation (#7283) Install (v2-cabal) #25: Commit 8c0af66 pushed by uncle-betty
May 19, 2024 02:55 23m 50s master
master
May 19, 2024 02:55 23m 50s
agdaLatex documentation (#7283) Build (stack) #100: Commit 8c0af66 pushed by uncle-betty
May 19, 2024 02:55 19m 6s master
master
May 19, 2024 02:55 19m 6s
agdaLatex documentation (#7283) Stack check snapshots #24: Commit 8c0af66 pushed by uncle-betty
May 19, 2024 02:55 14m 17s master
master
May 19, 2024 02:55 14m 17s
agdaLatex documentation (#7283) Haddock #99: Commit 8c0af66 pushed by uncle-betty
May 19, 2024 02:55 12m 35s master
master
May 19, 2024 02:55 12m 35s
agdaLatex documentation (#7283) User Manual #71: Commit 8c0af66 pushed by uncle-betty
May 19, 2024 02:55 2m 59s master
master
May 19, 2024 02:55 2m 59s
agdaLatex documentation (#7283) Build (cabal) #102: Commit 8c0af66 pushed by uncle-betty
May 19, 2024 02:55 18m 7s master
master
May 19, 2024 02:55 18m 7s
Deploy Deploy #88: completed by uncle-betty
April 20, 2024 12:08 17m 56s
April 20, 2024 12:08 17m 56s
CI cosmetics Build (stack) #99: Commit 00f4bb4 pushed by uncle-betty
April 20, 2024 11:24 21m 21s master
master
April 20, 2024 11:24 21m 21s
CI cosmetics Haddock #98: Commit 00f4bb4 pushed by uncle-betty
April 20, 2024 11:24 12m 18s master
master
April 20, 2024 11:24 12m 18s
CI cosmetics Build (cabal) #101: Commit 00f4bb4 pushed by uncle-betty
April 20, 2024 11:24 15m 56s master
master
April 20, 2024 11:24 15m 56s
CI cosmetics Stack check snapshots #23: Commit 00f4bb4 pushed by uncle-betty
April 20, 2024 11:24 3m 42s master
master
April 20, 2024 11:24 3m 42s
CI cosmetics Install (v2-cabal) #24: Commit 00f4bb4 pushed by uncle-betty
April 20, 2024 11:24 13m 23s master
master
April 20, 2024 11:24 13m 23s
CI cosmetics Build, Test, and Benchmark #103: Commit 00f4bb4 pushed by uncle-betty
April 20, 2024 11:24 43m 47s master
master
April 20, 2024 11:24 43m 47s
CI cosmetics User Manual #70: Commit 00f4bb4 pushed by uncle-betty
April 20, 2024 11:24 2m 29s master
master
April 20, 2024 11:24 2m 29s