Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

hlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
571 workflow runs
571 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scaffolding for persisting resolution of logic names hlint #1194: Pull request #2448 synchronize by facundominguez
November 25, 2024 13:23 32s fd/parameterize-expr2
fd/parameterize-expr2
November 25, 2024 13:23 32s
Scaffolding for persisting resolution of logic names hlint #1193: Pull request #2448 synchronize by facundominguez
November 25, 2024 12:04 35s fd/parameterize-expr2
fd/parameterize-expr2
November 25, 2024 12:04 35s
Scaffolding for persisting resolution of logic names hlint #1192: Pull request #2448 synchronize by facundominguez
November 25, 2024 11:57 32s fd/parameterize-expr2
fd/parameterize-expr2
November 25, 2024 11:57 32s
Scaffolding for persisting resolution of logic names hlint #1191: Pull request #2448 opened by facundominguez
November 25, 2024 11:25 32s fd/parameterize-expr2
fd/parameterize-expr2
November 25, 2024 11:25 32s
add test for polymorphic array apply generation hlint #1190: Pull request #2439 synchronize by clayrat
November 21, 2024 14:59 40s clayrat:array-applys
clayrat:array-applys
November 21, 2024 14:59 40s
Merge pull request #2445 from ucsd-progsys/fd/expand-aliases-dependen… hlint #1189: Commit b7c7959 pushed by nikivazou
November 21, 2024 13:09 31s develop
develop
November 21, 2024 13:09 31s
Expand type aliases in dependent pairs hlint #1188: Pull request #2445 synchronize by facundominguez
November 20, 2024 17:57 30s fd/expand-aliases-dependent-pairs
fd/expand-aliases-dependent-pairs
November 20, 2024 17:57 30s
Expand type aliases in dependent pairs hlint #1187: Pull request #2445 opened by facundominguez
November 20, 2024 17:54 35s fd/expand-aliases-dependent-pairs
fd/expand-aliases-dependent-pairs
November 20, 2024 17:54 35s
Merge pull request #2441 from ucsd-progsys/fd/refactorings hlint #1186: Commit 0333182 pushed by facundominguez
November 15, 2024 20:03 30s develop
develop
November 15, 2024 20:03 30s
Various small refactorings hlint #1185: Pull request #2441 synchronize by facundominguez
November 15, 2024 19:20 27s fd/refactorings
fd/refactorings
November 15, 2024 19:20 27s
Various small refactorings hlint #1184: Pull request #2441 opened by facundominguez
November 15, 2024 19:17 32s fd/refactorings
fd/refactorings
November 15, 2024 19:17 32s
add test for polymorphic array apply generation hlint #1183: Pull request #2439 opened by clayrat
November 14, 2024 14:56 36s clayrat:array-applys
clayrat:array-applys
November 14, 2024 14:56 36s
Merge pull request #2435 from ucsd-progsys/fd/default-method-lookup hlint #1182: Commit 54b0b65 pushed by facundominguez
November 12, 2024 13:53 31s develop
develop
November 12, 2024 13:53 31s
Get default methods from the GHC API instead of using maybeResolveSym hlint #1181: Pull request #2435 synchronize by facundominguez
November 12, 2024 12:19 30s fd/default-method-lookup
fd/default-method-lookup
November 12, 2024 12:19 30s
Get default methods from the GHC API instead of using maybeResolveSym hlint #1180: Pull request #2435 opened by facundominguez
November 12, 2024 11:42 36s fd/default-method-lookup
fd/default-method-lookup
November 12, 2024 11:42 36s
Remove untested typeclass elaboration hlint #1179: Pull request #2434 synchronize by facundominguez
November 11, 2024 18:44 29s fd/typeclass-elaboration
fd/typeclass-elaboration
November 11, 2024 18:44 29s
Remove untested typeclass elaboration hlint #1178: Pull request #2434 opened by facundominguez
November 11, 2024 18:40 34s fd/typeclass-elaboration
fd/typeclass-elaboration
November 11, 2024 18:40 34s
Merge pull request #2433 from AlecsFerra/develop hlint #1177: Commit 5521471 pushed by facundominguez
November 11, 2024 17:52 35s develop
develop
November 11, 2024 17:52 35s
Handle type alias + refinements hlint #1176: Pull request #2433 synchronize by AlecsFerra
November 11, 2024 15:59 32s AlecsFerra:develop
AlecsFerra:develop
November 11, 2024 15:59 32s
Handle type alias + refinements hlint #1175: Pull request #2433 opened by AlecsFerra
November 11, 2024 13:34 33s AlecsFerra:develop
AlecsFerra:develop
November 11, 2024 13:34 33s
Merge pull request #2430 from ucsd-progsys/fd/no-ghc-internal hlint #1174: Commit 8c550df pushed by facundominguez
November 8, 2024 13:03 34s develop
develop
November 8, 2024 13:03 34s
Eliminate explicit dependency on ghc-internal hlint #1173: Pull request #2430 opened by facundominguez
November 8, 2024 12:33 35s fd/no-ghc-internal
fd/no-ghc-internal
November 8, 2024 12:33 35s
Merge pull request #2429 from ucsd-progsys/fd/reflect-names hlint #1172: Commit 46d524d pushed by facundominguez
November 8, 2024 10:23 36s develop
develop
November 8, 2024 10:23 36s
Use GHC Name to resolve names of reflect annotations and similar hlint #1171: Pull request #2429 synchronize by facundominguez
November 7, 2024 22:12 33s fd/reflect-names
fd/reflect-names
November 7, 2024 22:12 33s
Use GHC Name to resolve names of reflect annotations and similar hlint #1170: Pull request #2429 opened by facundominguez
November 7, 2024 22:09 32s fd/reflect-names
fd/reflect-names
November 7, 2024 22:09 32s