Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

hlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
554 workflow runs
554 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove more environments used for the old name resolution hlint #1301: Pull request #2488 opened by facundominguez
February 12, 2025 18:30 36s fd/prune-old-envs-2
fd/prune-old-envs-2
February 12, 2025 18:30 36s
Initial version of typed holes support under allow-typed-holes flag hlint #1299: Pull request #2486 opened by matheussbernardo
February 12, 2025 12:40 Action required matheussbernardo:develop
matheussbernardo:develop
February 12, 2025 12:40 Action required
Merge pull request #2485 from ucsd-progsys/fd/prune-old-envs hlint #1298: Commit 9653ec6 pushed by facundominguez
February 12, 2025 11:46 32s develop
develop
February 12, 2025 11:46 32s
Remove a bunch of unneeded environment fields after name resolution changes hlint #1297: Pull request #2485 synchronize by facundominguez
February 12, 2025 00:24 33s fd/prune-old-envs
fd/prune-old-envs
February 12, 2025 00:24 33s
Remove a bunch of unneeded environment fields after name resolution changes hlint #1296: Pull request #2485 opened by facundominguez
February 12, 2025 00:16 30s fd/prune-old-envs
fd/prune-old-envs
February 12, 2025 00:16 30s
hlint hlint #1295: by facundominguez
February 7, 2025 14:37 32s develop
develop
February 7, 2025 14:37 32s
Split testsuites and stop linking during tests hlint #1294: Pull request #2484 opened by facundominguez
February 7, 2025 13:27 35s fd/test-grooming
fd/test-grooming
February 7, 2025 13:27 35s
Update to use conditional elaboration hlint #1293: Pull request #2483 synchronize by clayrat
February 6, 2025 16:03 37s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 6, 2025 16:03 37s
Update to use conditional elaboration hlint #1292: Pull request #2483 opened by clayrat
February 6, 2025 15:56 31s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 6, 2025 15:56 31s
Merge pull request #2482 from ucsd-progsys/elab-opt hlint #1291: Commit 32e943d pushed by ranjitjhala
February 6, 2025 06:32 29s develop
develop
February 6, 2025 06:32 29s
Update LH to optimized elaboration in FP hlint #1290: Pull request #2482 opened by ranjitjhala
February 6, 2025 04:33 29s elab-opt
elab-opt
February 6, 2025 04:33 29s
Merge pull request #2479 from ucsd-progsys/fd/prune-old-name-resolution hlint #1289: Commit be7fb6d pushed by facundominguez
January 27, 2025 13:11 31s develop
develop
January 27, 2025 13:11 31s
Remove the unneeded old symbol resolution hlint #1288: Pull request #2479 synchronize by facundominguez
January 27, 2025 12:36 38s fd/prune-old-name-resolution
fd/prune-old-name-resolution
January 27, 2025 12:36 38s
Remove the unneeded old symbol resolution hlint #1287: Pull request #2479 opened by facundominguez
January 27, 2025 12:28 31s fd/prune-old-name-resolution
fd/prune-old-name-resolution
January 27, 2025 12:28 31s
Upgrade Liquid Haskell to run with ghc 9.12 hlint #1286: Pull request #2474 synchronize by facundominguez
January 23, 2025 19:40 30s fd/ghc-9.12
fd/ghc-9.12
January 23, 2025 19:40 30s
Upgrade Liquid Haskell to run with ghc 9.12 hlint #1284: Pull request #2474 synchronize by facundominguez
January 17, 2025 21:39 28s fd/ghc-9.12
fd/ghc-9.12
January 17, 2025 21:39 28s
Upgrade Liquid Haskell to run with ghc 9.12 hlint #1283: Pull request #2474 synchronize by facundominguez
January 17, 2025 20:35 32s fd/ghc-9.12
fd/ghc-9.12
January 17, 2025 20:35 32s
Upgrade Liquid Haskell to run with ghc 9.12 hlint #1282: Pull request #2474 opened by facundominguez
January 17, 2025 20:32 30s fd/ghc-9.12
fd/ghc-9.12
January 17, 2025 20:32 30s
Merge pull request #2473 from AlecsFerra/develop hlint #1281: Commit 06f55b4 pushed by facundominguez
January 15, 2025 17:12 37s develop
develop
January 15, 2025 17:12 37s
Better error message for reflection faliures due to missing reflection of constructors + refactor of core to logic hlint #1280: Pull request #2473 synchronize by facundominguez
January 15, 2025 16:34 33s AlecsFerra:develop
AlecsFerra:develop
January 15, 2025 16:34 33s
Better error message for reflection faliures due to missing reflection of constructors + refactor of core to logic hlint #1279: Pull request #2473 synchronize by AlecsFerra
January 15, 2025 14:22 31s AlecsFerra:develop
AlecsFerra:develop
January 15, 2025 14:22 31s
Better error message for reflection faliures due to missing reflection of constructors + refactor of core to logic hlint #1278: Pull request #2473 opened by AlecsFerra
January 15, 2025 14:21 36s AlecsFerra:develop
AlecsFerra:develop
January 15, 2025 14:21 36s
Merge pull request #2472 from ucsd-progsys/fd/qualifiers-renaming2 hlint #1277: Commit 2817164 pushed by facundominguez
January 14, 2025 18:55 39s develop
develop
January 14, 2025 18:55 39s
Resolve type constructors in qualifiers via LHNames hlint #1276: Pull request #2472 synchronize by facundominguez
January 14, 2025 17:49 31s fd/qualifiers-renaming2
fd/qualifiers-renaming2
January 14, 2025 17:49 31s
Merge pull request #2470 from AlecsFerra/develop hlint #1275: Commit 98c7729 pushed by facundominguez
January 14, 2025 17:36 32s develop
develop
January 14, 2025 17:36 32s