Skip to content

Actions: typechecker/agda

Actions

User Manual

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
user_manual.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 aspect InstanceProblem for highlighting instance warnings User Manual #9: Commit d45c39f pushed by philderbeast
July 25, 2024 20:17 2m 46s master
master
July 25, 2024 20:17 2m 46s
Fix #7236: context instead of telescope for lambda-bound pattern vars User Manual #8: Commit 486adef pushed by philderbeast
April 28, 2024 18:43 3m 43s master
master
April 28, 2024 18:43 3m 43s
Commenting test for #7180 User Manual #7: Commit 422b932 pushed by philderbeast
March 17, 2024 09:54 2m 8s master
master
March 17, 2024 09:54 2m 8s
[ clean ] remove underLambdas and underAbs User Manual #6: Commit 2f69f2a pushed by philderbeast
February 22, 2024 22:15 2m 47s master
master
February 22, 2024 22:15 2m 47s
#7105 Do not try to fold let-bindings during printing of the helper f… User Manual #5: Commit c0ceac7 pushed by philderbeast
February 14, 2024 15:03 2m 55s master
master
February 14, 2024 15:03 2m 55s