Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handle type alias + refinements Documentation CI/CD #1651: Pull request #2433 synchronize by AlecsFerra
November 11, 2024 15:59 28s AlecsFerra:develop
AlecsFerra:develop
November 11, 2024 15:59 28s
Handle type alias + refinements Documentation CI/CD #1650: Pull request #2433 opened by AlecsFerra
November 11, 2024 13:34 28s AlecsFerra:develop
AlecsFerra:develop
November 11, 2024 13:34 28s
Handle type alias + refinements hlint #1175: Pull request #2433 opened by AlecsFerra
November 11, 2024 13:34 33s AlecsFerra:develop
AlecsFerra:develop
November 11, 2024 13:34 33s
GHC HEAD GHC HEAD #14: Scheduled
November 11, 2024 08:01 9m 48s develop
develop
November 11, 2024 08:01 9m 48s
pages build and deployment pages-build-deployment #303: by github-pages bot
November 8, 2024 13:03 23s gh-pages
gh-pages
November 8, 2024 13:03 23s
Merge pull request #2430 from ucsd-progsys/fd/no-ghc-internal hlint #1174: Commit 8c550df pushed by facundominguez
November 8, 2024 13:03 34s develop
develop
November 8, 2024 13:03 34s
Merge pull request #2430 from ucsd-progsys/fd/no-ghc-internal Documentation CI/CD #1649: Commit 8c550df pushed by facundominguez
November 8, 2024 13:03 55s develop
develop
November 8, 2024 13:03 55s
Eliminate explicit dependency on ghc-internal Documentation CI/CD #1648: Pull request #2430 opened by facundominguez
November 8, 2024 12:33 33s fd/no-ghc-internal
fd/no-ghc-internal
November 8, 2024 12:33 33s
Eliminate explicit dependency on ghc-internal hlint #1173: Pull request #2430 opened by facundominguez
November 8, 2024 12:33 35s fd/no-ghc-internal
fd/no-ghc-internal
November 8, 2024 12:33 35s
pages build and deployment pages-build-deployment #302: by github-pages bot
November 8, 2024 10:24 28s gh-pages
gh-pages
November 8, 2024 10:24 28s
Merge pull request #2429 from ucsd-progsys/fd/reflect-names hlint #1172: Commit 46d524d pushed by facundominguez
November 8, 2024 10:23 36s develop
develop
November 8, 2024 10:23 36s
Merge pull request #2429 from ucsd-progsys/fd/reflect-names Documentation CI/CD #1647: Commit 46d524d pushed by facundominguez
November 8, 2024 10:23 53s develop
develop
November 8, 2024 10:23 53s
Use GHC Name to resolve names of reflect annotations and similar hlint #1171: Pull request #2429 synchronize by facundominguez
November 7, 2024 22:12 33s fd/reflect-names
fd/reflect-names
November 7, 2024 22:12 33s
Use GHC Name to resolve names of reflect annotations and similar Documentation CI/CD #1646: Pull request #2429 synchronize by facundominguez
November 7, 2024 22:12 26s fd/reflect-names
fd/reflect-names
November 7, 2024 22:12 26s
Use GHC Name to resolve names of reflect annotations and similar hlint #1170: Pull request #2429 opened by facundominguez
November 7, 2024 22:09 32s fd/reflect-names
fd/reflect-names
November 7, 2024 22:09 32s
Use GHC Name to resolve names of reflect annotations and similar Documentation CI/CD #1645: Pull request #2429 opened by facundominguez
November 7, 2024 22:09 28s fd/reflect-names
fd/reflect-names
November 7, 2024 22:09 28s
pages build and deployment pages-build-deployment #301: by github-pages bot
November 7, 2024 17:26 28s gh-pages
gh-pages
November 7, 2024 17:26 28s
Merge pull request #2427 from ucsd-progsys/fd/autosize-names hlint #1169: Commit 8cd5744 pushed by facundominguez
November 7, 2024 17:25 31s develop
develop
November 7, 2024 17:25 31s
Merge pull request #2427 from ucsd-progsys/fd/autosize-names Documentation CI/CD #1644: Commit 8cd5744 pushed by facundominguez
November 7, 2024 17:25 53s develop
develop
November 7, 2024 17:25 53s
Use GHC Name to resolve several annotations hlint #1168: Pull request #2427 opened by facundominguez
November 7, 2024 15:41 31s fd/autosize-names
fd/autosize-names
November 7, 2024 15:41 31s
Use GHC Name to resolve several annotations Documentation CI/CD #1643: Pull request #2427 opened by facundominguez
November 7, 2024 15:41 27s fd/autosize-names
fd/autosize-names
November 7, 2024 15:41 27s
pages build and deployment pages-build-deployment #300: by github-pages bot
November 6, 2024 22:37 28s gh-pages
gh-pages
November 6, 2024 22:37 28s
Merge pull request #2425 from ucsd-progsys/fd/no-laws hlint #1167: Commit 6ac24de pushed by facundominguez
November 6, 2024 22:36 33s develop
develop
November 6, 2024 22:36 33s
Merge pull request #2425 from ucsd-progsys/fd/no-laws Documentation CI/CD #1642: Commit 6ac24de pushed by facundominguez
November 6, 2024 22:36 55s develop
develop
November 6, 2024 22:36 55s
Remove dead code for class and instance laws hlint #1166: Pull request #2425 synchronize by facundominguez
November 6, 2024 19:41 35s fd/no-laws
fd/no-laws
November 6, 2024 19:41 35s