Skip to content

Actions: typechecker/agda

Actions

Install (v2-cabal)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cabal-install.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
Remove MonadFail from HasBuiltins Install (v2-cabal) #13: Commit 8261738 pushed by philderbeast
July 31, 2024 12:23 4m 13s master
master
July 31, 2024 12:23 4m 13s
new aspect InstanceProblem for highlighting instance warnings Install (v2-cabal) #12: Commit d45c39f pushed by philderbeast
July 25, 2024 20:17 18m 39s master
master
July 25, 2024 20:17 18m 39s
Follow hlint suggestion: redundant section Install (v2-cabal) #11: Commit 0ff0741 pushed by philderbeast
May 6, 2024 13:43 10m 6s master
master
May 6, 2024 13:43 10m 6s
[ comment ] fix typo Install (v2-cabal) #10: Commit 5434d03 pushed by philderbeast
May 6, 2024 10:04 10m 48s master
master
May 6, 2024 10:04 10m 48s
Build with GHC 9.10 Install (v2-cabal) #9: Commit 185d9d4 pushed by philderbeast
May 3, 2024 10:04 10m 50s master
master
May 3, 2024 10:04 10m 50s
Fix #7236: context instead of telescope for lambda-bound pattern vars Install (v2-cabal) #8: Commit 486adef pushed by philderbeast
April 28, 2024 18:43 13m 21s master
master
April 28, 2024 18:43 13m 21s
HLint list element suggestions (#7194) Install (v2-cabal) #7: Commit 0b2f857 pushed by philderbeast
March 22, 2024 20:34 11m 0s master
master
March 22, 2024 20:34 11m 0s
Commenting test for #7180 Install (v2-cabal) #6: Commit 422b932 pushed by philderbeast
March 17, 2024 09:54 13m 6s master
master
March 17, 2024 09:54 13m 6s
[ clean ] remove underLambdas and underAbs Install (v2-cabal) #5: Commit 2f69f2a pushed by philderbeast
February 22, 2024 22:15 13m 52s master
master
February 22, 2024 22:15 13m 52s
#7105 Do not try to fold let-bindings during printing of the helper f… Install (v2-cabal) #4: Commit c0ceac7 pushed by philderbeast
February 14, 2024 15:03 12m 28s master
master
February 14, 2024 15:03 12m 28s