Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

hlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
576 workflow runs
576 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #2427 from ucsd-progsys/fd/autosize-names hlint #1169: Commit 8cd5744 pushed by facundominguez
November 7, 2024 17:25 31s develop
develop
November 7, 2024 17:25 31s
Use GHC Name to resolve several annotations hlint #1168: Pull request #2427 opened by facundominguez
November 7, 2024 15:41 31s fd/autosize-names
fd/autosize-names
November 7, 2024 15:41 31s
Merge pull request #2425 from ucsd-progsys/fd/no-laws hlint #1167: Commit 6ac24de pushed by facundominguez
November 6, 2024 22:36 33s develop
develop
November 6, 2024 22:36 33s
Remove dead code for class and instance laws hlint #1166: Pull request #2425 synchronize by facundominguez
November 6, 2024 19:41 35s fd/no-laws
fd/no-laws
November 6, 2024 19:41 35s
Remove dead code for class and instance laws hlint #1165: Pull request #2425 opened by facundominguez
November 6, 2024 19:21 30s fd/no-laws
fd/no-laws
November 6, 2024 19:21 30s
Merge pull request #2424 from ucsd-progsys/fd/instance-method-names hlint #1164: Commit 1d84338 pushed by facundominguez
November 6, 2024 19:17 36s develop
develop
November 6, 2024 19:17 36s
Use GHC names for instance methods and dictionaries hlint #1163: Pull request #2424 synchronize by facundominguez
November 6, 2024 18:43 32s fd/instance-method-names
fd/instance-method-names
November 6, 2024 18:43 32s
Use GHC names for instance methods and dictionaries hlint #1162: Pull request #2424 opened by facundominguez
November 6, 2024 18:39 31s fd/instance-method-names
fd/instance-method-names
November 6, 2024 18:39 31s
Merge pull request #2423 from ucsd-progsys/fd/fail-names hlint #1161: Commit 6947054 pushed by facundominguez
November 6, 2024 13:05 31s develop
develop
November 6, 2024 13:05 31s
Use LHName for fail annotations and methods in class specs hlint #1160: Pull request #2423 opened by facundominguez
November 5, 2024 19:33 32s fd/fail-names
fd/fail-names
November 5, 2024 19:33 32s
Merge pull request #2422 from ucsd-progsys/fd/dead-code hlint #1159: Commit 424f651 pushed by facundominguez
November 5, 2024 10:53 31s develop
develop
November 5, 2024 10:53 31s
Eliminate unused fields from specs hlint #1158: Pull request #2422 synchronize by facundominguez
November 4, 2024 21:18 29s fd/dead-code
fd/dead-code
November 4, 2024 21:18 29s
Eliminate unused fields from specs hlint #1157: Pull request #2422 opened by facundominguez
November 4, 2024 21:14 29s fd/dead-code
fd/dead-code
November 4, 2024 21:14 29s
Merge pull request #2421 from ucsd-progsys/fd/sigs-names hlint #1156: Commit b47dc25 pushed by facundominguez
November 4, 2024 21:12 31s develop
develop
November 4, 2024 21:12 31s
Use GHC Name after resolving asserted specs hlint #1155: Pull request #2421 opened by facundominguez
November 4, 2024 18:43 30s fd/sigs-names
fd/sigs-names
November 4, 2024 18:43 30s
Merge pull request #2420 from ucsd-progsys/fd/assume-names hlint #1154: Commit c8c3bbc pushed by facundominguez
November 4, 2024 18:10 38s develop
develop
November 4, 2024 18:10 38s
Handle assume on local names when resolving to LHName hlint #1153: Pull request #2420 synchronize by facundominguez
November 4, 2024 10:59 29s fd/assume-names
fd/assume-names
November 4, 2024 10:59 29s