Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,272 workflow runs
1,272 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GHC HEAD GHC HEAD #32: Scheduled
March 3, 2025 08:00 14m 12s develop
develop
March 3, 2025 08:00 14m 12s
pages build and deployment pages-build-deployment #334: by github-pages bot
February 28, 2025 22:57 25s gh-pages
gh-pages
February 28, 2025 22:57 25s
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
Add missing entries to changelog Documentation CI/CD #1795: Commit 192b876 pushed by facundominguez
February 28, 2025 22:56 47s develop
develop
February 28, 2025 22:56 47s
Update to use conditional elaboration Documentation CI/CD #1794: Pull request #2483 synchronize by clayrat
February 26, 2025 14:10 32s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 26, 2025 14:10 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
pages build and deployment pages-build-deployment #333: by github-pages bot
February 26, 2025 13:51 26s gh-pages
gh-pages
February 26, 2025 13:51 26s
Merge pull request #2492 from ucsd-progsys/fd/restore-tests Documentation CI/CD #1793: Commit ed99877 pushed by facundominguez
February 26, 2025 13:50 59s develop
develop
February 26, 2025 13:50 59s
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 Documentation CI/CD #1792: Pull request #2492 opened by facundominguez
February 26, 2025 12:12 28s fd/restore-tests
fd/restore-tests
February 26, 2025 12:12 28s
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
pages build and deployment pages-build-deployment #332: by github-pages bot
February 25, 2025 15:33 26s gh-pages
gh-pages
February 25, 2025 15:33 26s
Merge pull request #2491 from ucsd-progsys/fd/admit-fix Documentation CI/CD #1791: Commit 5909121 pushed by facundominguez
February 25, 2025 15:32 52s develop
develop
February 25, 2025 15:32 52s
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 Documentation CI/CD #1790: Pull request #2483 synchronize by clayrat
February 25, 2025 15:31 26s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 25, 2025 15:31 26s
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 Documentation CI/CD #1789: Pull request #2483 synchronize by clayrat
February 25, 2025 15:30 35s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 25, 2025 15:30 35s
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
Fix isAdmit so Admit can be used to accept incomplete proofs Documentation CI/CD #1788: Pull request #2491 opened by facundominguez
February 25, 2025 13:58 25s fd/admit-fix
fd/admit-fix
February 25, 2025 13:58 25s
Initial version of typed holes support under allow-typed-holes flag Documentation CI/CD #1787: 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 #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
Initial version of typed holes support under allow-typed-holes flag Documentation CI/CD #1786: Pull request #2486 synchronize by matheussbernardo
February 25, 2025 09:13 Action required matheussbernardo:develop
matheussbernardo:develop
February 25, 2025 09:13 Action required
GHC HEAD GHC HEAD #31: Scheduled
February 24, 2025 08:00 14m 21s develop
develop
February 24, 2025 08:00 14m 21s