Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow LH to understand integer literals using GHC.Num.Integer.IS hlint #679: Commit f269afc pushed by facundominguez
November 17, 2023 20:29 33s fd/fix2237
fd/fix2237
November 17, 2023 20:29 33s
Merge pull request #2236 from ucsd-progsys/fd/fix-anormalise Documentation CI/CD #1153: Commit 2a97f15 pushed by nikivazou
November 17, 2023 13:36 38s v9.2.8
v9.2.8
November 17, 2023 13:36 38s
Merge pull request #2236 from ucsd-progsys/fd/fix-anormalise hlint #678: Commit 2a97f15 pushed by nikivazou
November 17, 2023 13:36 33s v9.2.8
v9.2.8
November 17, 2023 13:36 33s
Restore the missing dep_mods via the module graph hlint #677: Commit 77fb8fa pushed by facundominguez
November 16, 2023 20:51 29s fd/ghc-9.4.7
fd/ghc-9.4.7
November 16, 2023 20:51 29s
Restore the missing dep_mods via the module graph Documentation CI/CD #1152: Commit 77fb8fa pushed by facundominguez
November 16, 2023 20:51 34s fd/ghc-9.4.7
fd/ghc-9.4.7
November 16, 2023 20:51 34s
pages build and deployment pages-build-deployment #181: by github-pages bot
November 16, 2023 19:17 41s gh-pages
gh-pages
November 16, 2023 19:17 41s
Merge pull request #2236 from ucsd-progsys/fd/fix-anormalise Documentation CI/CD #1151: Commit 2a97f15 pushed by facundominguez
November 16, 2023 19:16 1m 11s develop
develop
November 16, 2023 19:16 1m 11s
Merge pull request #2236 from ucsd-progsys/fd/fix-anormalise hlint #676: Commit 2a97f15 pushed by facundominguez
November 16, 2023 19:16 32s develop
develop
November 16, 2023 19:16 32s
Fix A normalization when type binder and lets are mixed in the input Documentation CI/CD #1150: Pull request #2236 synchronize by facundominguez
November 15, 2023 19:36 37s fd/fix-anormalise
fd/fix-anormalise
November 15, 2023 19:36 37s
Fix A normalization when type binder and lets are mixed in the input hlint #675: Pull request #2236 synchronize by facundominguez
November 15, 2023 19:36 29s fd/fix-anormalise
fd/fix-anormalise
November 15, 2023 19:36 29s
Add a regression test for #2235 hlint #674: Commit 6820de2 pushed by facundominguez
November 15, 2023 19:36 36s fd/fix-anormalise
fd/fix-anormalise
November 15, 2023 19:36 36s
Add a regression test for #2235 Documentation CI/CD #1149: Commit 6820de2 pushed by facundominguez
November 15, 2023 19:36 31s fd/fix-anormalise
fd/fix-anormalise
November 15, 2023 19:36 31s
Fix A normalization when type binder and lets are mixed in the input hlint #673: Pull request #2236 opened by facundominguez
November 15, 2023 19:27 32s fd/fix-anormalise
fd/fix-anormalise
November 15, 2023 19:27 32s
Fix A normalization when type binder and lets are mixed in the input Documentation CI/CD #1148: Pull request #2236 opened by facundominguez
November 15, 2023 19:27 38s fd/fix-anormalise
fd/fix-anormalise
November 15, 2023 19:27 38s
Move KMeansHelper from liquid-prelude to tests Documentation CI/CD #1147: Commit 7b82990 pushed by facundominguez
November 15, 2023 19:25 33s fd/fix-anormalise
fd/fix-anormalise
November 15, 2023 19:25 33s
Move KMeansHelper from liquid-prelude to tests hlint #672: Commit 7b82990 pushed by facundominguez
November 15, 2023 19:25 29s fd/fix-anormalise
fd/fix-anormalise
November 15, 2023 19:25 29s
Add embed declaration for GHC.Prim.Word64# Documentation CI/CD #1146: Commit 945703f pushed by facundominguez
November 15, 2023 18:59 34s fd/ghc-9.4.7
fd/ghc-9.4.7
November 15, 2023 18:59 34s
Add embed declaration for GHC.Prim.Word64# hlint #671: Commit 945703f pushed by facundominguez
November 15, 2023 18:59 35s fd/ghc-9.4.7
fd/ghc-9.4.7
November 15, 2023 18:59 35s
Remove direct GHC imports in Language.Haskell.Liquid.Constraint.Termi… hlint #670: Commit 0a095b9 pushed by facundominguez
November 14, 2023 17:56 34s fd/ghc-9.4.7
fd/ghc-9.4.7
November 14, 2023 17:56 34s
Remove direct GHC imports in Language.Haskell.Liquid.Constraint.Termi… Documentation CI/CD #1145: Commit 0a095b9 pushed by facundominguez
November 14, 2023 17:56 32s fd/ghc-9.4.7
fd/ghc-9.4.7
November 14, 2023 17:56 32s
Remove unused generateConstraintsWithEnv hlint #669: Commit b542a73 pushed by facundominguez
November 14, 2023 16:37 38s fd/ghc-9.4.7
fd/ghc-9.4.7
November 14, 2023 16:37 38s
Remove unused generateConstraintsWithEnv Documentation CI/CD #1144: Commit b542a73 pushed by facundominguez
November 14, 2023 16:37 37s fd/ghc-9.4.7
fd/ghc-9.4.7
November 14, 2023 16:37 37s
Remove call to deShadowBinds Documentation CI/CD #1143: Commit 32499d7 pushed by facundominguez
November 7, 2023 20:50 34s fd/ghc-9.4.7
fd/ghc-9.4.7
November 7, 2023 20:50 34s
Remove call to deShadowBinds hlint #668: Commit 32499d7 pushed by facundominguez
November 7, 2023 20:50 31s fd/ghc-9.4.7
fd/ghc-9.4.7
November 7, 2023 20:50 31s
Update Language.Haskell.Liquid.GHC.Plugin Documentation CI/CD #1142: Commit 74b69ed pushed by facundominguez
November 3, 2023 14:05 38s fd/ghc-9.4.7
fd/ghc-9.4.7
November 3, 2023 14:05 38s
ProTip! You can narrow down the results and go further in time using created:<2023-11-03 or the other filters available.