Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
[WIP] 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
[WIP] 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
[WIP] Update to use conditional elaboration Documentation CI/CD #1767: Pull request #2483 opened by clayrat
February 6, 2025 15:56 29s clayrat:cvc5-set-bag
clayrat:cvc5-set-bag
February 6, 2025 15:56 29s
pages build and deployment pages-build-deployment #328: by github-pages bot
February 6, 2025 06:33 24s gh-pages
gh-pages
February 6, 2025 06:33 24s
Merge pull request #2482 from ucsd-progsys/elab-opt Documentation CI/CD #1766: Commit 32e943d pushed by ranjitjhala
February 6, 2025 06:32 54s develop
develop
February 6, 2025 06:32 54s
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 Documentation CI/CD #1765: Pull request #2482 opened by ranjitjhala
February 6, 2025 04:33 28s elab-opt
elab-opt
February 6, 2025 04:33 28s
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
GHC HEAD GHC HEAD #28: Scheduled
February 3, 2025 08:00 12m 30s develop
develop
February 3, 2025 08:00 12m 30s
pages build and deployment pages-build-deployment #327: by github-pages bot
January 27, 2025 13:12 23s gh-pages
gh-pages
January 27, 2025 13:12 23s
Merge pull request #2479 from ucsd-progsys/fd/prune-old-name-resolution Documentation CI/CD #1764: Commit be7fb6d pushed by facundominguez
January 27, 2025 13:11 59s develop
develop
January 27, 2025 13:11 59s
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 Documentation CI/CD #1763: Pull request #2479 synchronize by facundominguez
January 27, 2025 12:36 25s fd/prune-old-name-resolution
fd/prune-old-name-resolution
January 27, 2025 12:36 25s
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 Documentation CI/CD #1762: Pull request #2479 opened by facundominguez
January 27, 2025 12:28 30s fd/prune-old-name-resolution
fd/prune-old-name-resolution
January 27, 2025 12:28 30s
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
GHC HEAD GHC HEAD #27: Scheduled
January 27, 2025 08:00 11m 54s develop
develop
January 27, 2025 08:00 11m 54s
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