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

Merge pull request #2494 from ucsd-progsys/fd/simplify-fqout hlint #1326: Commit 1d133ad pushed by facundominguez
March 10, 2025 17:14 30s develop
develop
March 10, 2025 17:14 30s
Update liquid-fixpoint to include simplification of fqout files hlint #1325: Pull request #2494 opened by facundominguez
March 10, 2025 16:16 34s fd/simplify-fqout
fd/simplify-fqout
March 10, 2025 16:16 34s
Fix badges in the readme file hlint #1324: Commit 152ecbf pushed by facundominguez
March 6, 2025 20:52 38s develop
develop
March 6, 2025 20:52 38s
Update changelog and bump version to 0.9.10.1.2 hlint #1323: Commit 6baa675 pushed by facundominguez
March 6, 2025 20:11 35s develop
develop
March 6, 2025 20:11 35s
Merge pull request #2483 from clayrat/cvc5-set-bag hlint #1322: Commit 008891a pushed by nikivazou
March 5, 2025 09:36 30s develop
develop
March 5, 2025 09:36 30s
Update to use conditional elaboration hlint #1321: Pull request #2483 synchronize by clayrat
March 4, 2025 14:32 33s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
March 4, 2025 14:32 33s
Add missing entries to changelog hlint #1320: Commit 192b876 pushed by facundominguez
February 28, 2025 22:56 32s develop
develop
February 28, 2025 22:56 32s
Update to use conditional elaboration hlint #1319: Pull request #2483 synchronize by clayrat
February 26, 2025 14:10 33s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 26, 2025 14:10 33s
Merge pull request #2492 from ucsd-progsys/fd/restore-tests hlint #1318: Commit ed99877 pushed by facundominguez
February 26, 2025 13:50 32s develop
develop
February 26, 2025 13:50 32s
Restore tests of unit-pos-1 in unit-pos-5 hlint #1317: Pull request #2492 opened by facundominguez
February 26, 2025 12:12 32s fd/restore-tests
fd/restore-tests
February 26, 2025 12:12 32s
Merge pull request #2491 from ucsd-progsys/fd/admit-fix hlint #1316: Commit 5909121 pushed by facundominguez
February 25, 2025 15:32 37s develop
develop
February 25, 2025 15:32 37s
Update to use conditional elaboration hlint #1315: Pull request #2483 synchronize by clayrat
February 25, 2025 15:31 31s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 25, 2025 15:31 31s
Update to use conditional elaboration hlint #1314: Pull request #2483 synchronize by clayrat
February 25, 2025 15:30 36s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 25, 2025 15:30 36s
Fix isAdmit so Admit can be used to accept incomplete proofs hlint #1313: Pull request #2491 opened by facundominguez
February 25, 2025 13:58 32s fd/admit-fix
fd/admit-fix
February 25, 2025 13:58 32s
Initial version of typed holes support under allow-typed-holes flag hlint #1312: Pull request #2486 synchronize by matheussbernardo
February 25, 2025 10:08 Action required matheussbernardo:develop
matheussbernardo:develop
February 25, 2025 10:08 Action required
Initial version of typed holes support under allow-typed-holes flag hlint #1311: Pull request #2486 synchronize by matheussbernardo
February 25, 2025 09:13 Action required matheussbernardo:develop
matheussbernardo:develop
February 25, 2025 09:13 Action required
Update to use conditional elaboration hlint #1310: Pull request #2483 synchronize by clayrat
February 20, 2025 11:44 31s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 20, 2025 11:44 31s
Update to use conditional elaboration hlint #1309: Pull request #2483 synchronize by clayrat
February 18, 2025 13:24 31s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 18, 2025 13:24 31s
Initial version of typed holes support under allow-typed-holes flag hlint #1308: Pull request #2486 synchronize by matheussbernardo
February 14, 2025 14:30 Action required matheussbernardo:develop
matheussbernardo:develop
February 14, 2025 14:30 Action required
Initial version of typed holes support under allow-typed-holes flag hlint #1307: Pull request #2486 synchronize by matheussbernardo
February 14, 2025 14:06 Action required matheussbernardo:develop
matheussbernardo:develop
February 14, 2025 14:06 Action required
Initial version of typed holes support under allow-typed-holes flag hlint #1306: Pull request #2486 synchronize by matheussbernardo
February 14, 2025 13:42 Action required matheussbernardo:develop
matheussbernardo:develop
February 14, 2025 13:42 Action required
Initial version of typed holes support under allow-typed-holes flag hlint #1305: Pull request #2486 synchronize by matheussbernardo
February 14, 2025 13:39 Action required matheussbernardo:develop
matheussbernardo:develop
February 14, 2025 13:39 Action required
Merge pull request #2488 from ucsd-progsys/fd/prune-old-envs-2 hlint #1304: Commit 13d9bdc pushed by facundominguez
February 14, 2025 01:43 30s develop
develop
February 14, 2025 01:43 30s
Remove more environments used for the old name resolution hlint #1303: Pull request #2488 synchronize by facundominguez
February 12, 2025 19:31 34s fd/prune-old-envs-2
fd/prune-old-envs-2
February 12, 2025 19:31 34s
Remove more environments used for the old name resolution hlint #1302: Pull request #2488 synchronize by facundominguez
February 12, 2025 18:32 29s fd/prune-old-envs-2
fd/prune-old-envs-2
February 12, 2025 18:32 29s