Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #331: by github-pages bot
February 14, 2025 01:44 27s gh-pages
gh-pages
February 14, 2025 01:44 27s
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
Merge pull request #2488 from ucsd-progsys/fd/prune-old-envs-2 Documentation CI/CD #1779: Commit 13d9bdc pushed by facundominguez
February 14, 2025 01:43 47s develop
develop
February 14, 2025 01:43 47s
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 Documentation CI/CD #1778: Pull request #2488 synchronize by facundominguez
February 12, 2025 19:31 26s fd/prune-old-envs-2
fd/prune-old-envs-2
February 12, 2025 19:31 26s
Remove more environments used for the old name resolution Documentation CI/CD #1777: Pull request #2488 synchronize by facundominguez
February 12, 2025 18:32 28s fd/prune-old-envs-2
fd/prune-old-envs-2
February 12, 2025 18:32 28s
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
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
Remove more environments used for the old name resolution Documentation CI/CD #1776: Pull request #2488 opened by facundominguez
February 12, 2025 18:30 27s fd/prune-old-envs-2
fd/prune-old-envs-2
February 12, 2025 18:30 27s
Initial version of typed holes support under allow-typed-holes flag Documentation CI/CD #1774: Pull request #2486 opened by matheussbernardo
February 12, 2025 12:40 Action required matheussbernardo:develop
matheussbernardo:develop
February 12, 2025 12:40 Action required
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
pages build and deployment pages-build-deployment #330: by github-pages bot
February 12, 2025 11:47 23s gh-pages
gh-pages
February 12, 2025 11:47 23s
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
Merge pull request #2485 from ucsd-progsys/fd/prune-old-envs Documentation CI/CD #1773: Commit 9653ec6 pushed by facundominguez
February 12, 2025 11:46 58s develop
develop
February 12, 2025 11:46 58s
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 Documentation CI/CD #1772: Pull request #2485 synchronize by facundominguez
February 12, 2025 00:24 28s fd/prune-old-envs
fd/prune-old-envs
February 12, 2025 00:24 28s
Remove a bunch of unneeded environment fields after name resolution changes Documentation CI/CD #1771: Pull request #2485 opened by facundominguez
February 12, 2025 00:16 26s fd/prune-old-envs
fd/prune-old-envs
February 12, 2025 00:16 26s
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
GHC HEAD GHC HEAD #29: Scheduled
February 10, 2025 08:01 11m 50s develop
develop
February 10, 2025 08:01 11m 50s
pages build and deployment pages-build-deployment #329: by github-pages bot
February 7, 2025 14:38 25s gh-pages
gh-pages
February 7, 2025 14:38 25s
Documentation CI/CD Documentation CI/CD #1770: by facundominguez
February 7, 2025 14:37 58s develop
develop
February 7, 2025 14:37 58s
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
Split testsuites and stop linking during tests Documentation CI/CD #1769: Pull request #2484 opened by facundominguez
February 7, 2025 13:27 27s fd/test-grooming
fd/test-grooming
February 7, 2025 13:27 27s
[WIP] Update to use conditional elaboration Documentation CI/CD #1768: Pull request #2483 synchronize by clayrat
February 6, 2025 16:03 28s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 6, 2025 16:03 28s