Skip to content

Actions: typechecker/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy Deploy #20: completed by philderbeast
August 12, 2024 13:35 16m 48s
August 12, 2024 13:35 16m 48s
New UnquoteError CannotDeclareHiddenFunction with reproducer Haddock #19: Commit 08923ce pushed by philderbeast
August 12, 2024 12:31 3m 22s master
master
August 12, 2024 12:31 3m 22s
New UnquoteError CannotDeclareHiddenFunction with reproducer Whitespace #21: Commit 08923ce pushed by philderbeast
August 12, 2024 12:31 24s master
master
August 12, 2024 12:31 24s
New UnquoteError CannotDeclareHiddenFunction with reproducer Install (v2-cabal) #16: Commit 08923ce pushed by philderbeast
August 12, 2024 12:31 4m 30s master
master
August 12, 2024 12:31 4m 30s
New UnquoteError CannotDeclareHiddenFunction with reproducer Build, Test, and Benchmark #20: Commit 08923ce pushed by philderbeast
August 12, 2024 12:31 1h 4m 49s master
master
August 12, 2024 12:31 1h 4m 49s
New UnquoteError CannotDeclareHiddenFunction with reproducer Build (cabal) #19: Commit 08923ce pushed by philderbeast
August 12, 2024 12:31 12m 29s master
master
August 12, 2024 12:31 12m 29s
Deploy Deploy #19: completed by philderbeast
August 9, 2024 15:16 16m 52s
August 9, 2024 15:16 16m 52s
fix #7371: add Mimer tests for -s and -l Whitespace #20: Commit fb700aa pushed by philderbeast
August 9, 2024 14:38 32s master
master
August 9, 2024 14:38 32s
fix #7371: add Mimer tests for -s and -l Build, Test, and Benchmark #19: Commit fb700aa pushed by philderbeast
August 9, 2024 14:38 38m 37s master
master
August 9, 2024 14:38 38m 37s
Deploy Deploy #18: completed by philderbeast
August 7, 2024 11:14 16m 39s
August 7, 2024 11:14 16m 39s
Use the record pun as max triggers hlint Whitespace #19: Commit 18a98a9 pushed by philderbeast
August 7, 2024 10:35 24s master
master
August 7, 2024 10:35 24s
Use the record pun as max triggers hlint Haddock #18: Commit 18a98a9 pushed by philderbeast
August 7, 2024 10:35 3m 19s master
master
August 7, 2024 10:35 3m 19s
Use the record pun as max triggers hlint Build (cabal) #18: Commit 18a98a9 pushed by philderbeast
August 7, 2024 10:35 7m 33s master
master
August 7, 2024 10:35 7m 33s
Use the record pun as max triggers hlint Install (v2-cabal) #15: Commit 18a98a9 pushed by philderbeast
August 7, 2024 10:35 4m 35s master
master
August 7, 2024 10:35 4m 35s
Use the record pun as max triggers hlint Build, Test, and Benchmark #18: Commit 18a98a9 pushed by philderbeast
August 7, 2024 10:35 39m 52s master
master
August 7, 2024 10:35 39m 52s
Deploy Deploy #17: completed by philderbeast
August 5, 2024 12:07 15m 41s
August 5, 2024 12:07 15m 41s
New interaction error UnexpectedWhere instead of GenericError Install (v2-cabal) #14: Commit a7edb85 pushed by philderbeast
August 5, 2024 11:29 8m 39s master
master
August 5, 2024 11:29 8m 39s
New interaction error UnexpectedWhere instead of GenericError Build, Test, and Benchmark #17: Commit a7edb85 pushed by philderbeast
August 5, 2024 11:29 38m 20s master
master
August 5, 2024 11:29 38m 20s
New interaction error UnexpectedWhere instead of GenericError Build (cabal) #17: Commit a7edb85 pushed by philderbeast
August 5, 2024 11:29 14m 2s master
master
August 5, 2024 11:29 14m 2s
New interaction error UnexpectedWhere instead of GenericError Build (stack) #14: Commit a7edb85 pushed by philderbeast
August 5, 2024 11:29 19m 26s master
master
August 5, 2024 11:29 19m 26s
New interaction error UnexpectedWhere instead of GenericError Whitespace #18: Commit a7edb85 pushed by philderbeast
August 5, 2024 11:29 25s master
master
August 5, 2024 11:29 25s
New interaction error UnexpectedWhere instead of GenericError Stack check snapshots #11: Commit a7edb85 pushed by philderbeast
August 5, 2024 11:29 3m 12s master
master
August 5, 2024 11:29 3m 12s
New interaction error UnexpectedWhere instead of GenericError User Manual #10: Commit a7edb85 pushed by philderbeast
August 5, 2024 11:29 2m 41s master
master
August 5, 2024 11:29 2m 41s
New interaction error UnexpectedWhere instead of GenericError Haddock #17: Commit a7edb85 pushed by philderbeast
August 5, 2024 11:29 18s master
master
August 5, 2024 11:29 18s
Deploy Deploy #16: completed by philderbeast
July 31, 2024 13:03 16m 16s
July 31, 2024 13:03 16m 16s