Skip to content

Actions: typechecker/agda

Actions

Build (stack)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stack.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 aspect InstanceProblem for highlighting instance warnings Build (stack) #13: Commit d45c39f pushed by philderbeast
July 25, 2024 20:17 24m 53s master
master
July 25, 2024 20:17 24m 53s
Build with GHC 9.10 Build (stack) #12: Commit 185d9d4 pushed by philderbeast
May 3, 2024 10:04 27m 27s master
master
May 3, 2024 10:04 27m 27s
Fix #7236: context instead of telescope for lambda-bound pattern vars Build (stack) #11: Commit 486adef pushed by philderbeast
April 28, 2024 18:43 21m 18s master
master
April 28, 2024 18:43 21m 18s
HLint list element suggestions (#7194) Build (stack) #10: Commit 0b2f857 pushed by philderbeast
March 22, 2024 20:34 23m 43s master
master
March 22, 2024 20:34 23m 43s
Commenting test for #7180 Build (stack) #9: Commit 422b932 pushed by philderbeast
March 17, 2024 09:54 35m 16s master
master
March 17, 2024 09:54 35m 16s
[ clean ] remove underLambdas and underAbs Build (stack) #8: Commit 2f69f2a pushed by philderbeast
February 22, 2024 22:15 25m 45s master
master
February 22, 2024 22:15 25m 45s
#7105 Do not try to fold let-bindings during printing of the helper f… Build (stack) #7: Commit c0ceac7 pushed by philderbeast
February 14, 2024 15:03 23m 14s master
master
February 14, 2024 15:03 23m 14s