Skip to content

Actions: ucsd-progsys/liquidhaskell

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow run results
180 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a regression test for #2235
hlint #674: Commit 6820de2 pushed by facundominguez
November 15, 2023 19:36 36s fd/fix-anormalise
November 15, 2023 19:36 36s
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
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
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
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
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
November 15, 2023 18:59 35s
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
November 14, 2023 17:56 32s
Remove unused generateConstraintsWithEnv
Documentation CI/CD #1144: Commit b542a73 pushed by facundominguez
November 14, 2023 16:37 37s fd/ghc-9.4.7
November 14, 2023 16:37 37s
Remove unused generateConstraintsWithEnv
hlint #669: Commit b542a73 pushed by facundominguez
November 14, 2023 16:37 38s fd/ghc-9.4.7
November 14, 2023 16:37 38s
Remove call to deShadowBinds
Documentation CI/CD #1143: Commit 32499d7 pushed by facundominguez
November 7, 2023 20:50 34s 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
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
November 3, 2023 14:05 38s
Update Language.Haskell.Liquid.GHC.Plugin
hlint #667: Commit 74b69ed pushed by facundominguez
November 3, 2023 14:05 49s fd/ghc-9.4.7
November 3, 2023 14:05 49s
Update AST construction in Elaborate
hlint #666: Commit 1adb820 pushed by facundominguez
November 3, 2023 12:23 52s fd/ghc-9.4.7
November 3, 2023 12:23 52s
Update AST construction in Elaborate
Documentation CI/CD #1141: Commit 1adb820 pushed by facundominguez
November 3, 2023 12:23 39s fd/ghc-9.4.7
November 3, 2023 12:23 39s
Update printWarning
hlint #665: Commit 71f9b79 pushed by facundominguez
November 2, 2023 15:57 47s fd/ghc-9.4.7
November 2, 2023 15:57 47s
Update printWarning
Documentation CI/CD #1140: Commit 71f9b79 pushed by facundominguez
November 2, 2023 15:57 51s fd/ghc-9.4.7
November 2, 2023 15:57 51s
Update Language.Haskell.Liquid.Types.Generics
Documentation CI/CD #1139: Commit 2ab08f1 pushed by facundominguez
November 2, 2023 13:48 48s fd/ghc-9.4.7
November 2, 2023 13:48 48s
Update Language.Haskell.Liquid.Types.Generics
hlint #664: Commit 2ab08f1 pushed by facundominguez
November 2, 2023 13:48 54s fd/ghc-9.4.7
November 2, 2023 13:48 54s
Adapt changes to makeSimpleDetails type
hlint #663: Commit 53cd09e pushed by facundominguez
November 1, 2023 20:22 48s fd/ghc-9.4.7
November 1, 2023 20:22 48s
Adapt changes to makeSimpleDetails type
Documentation CI/CD #1138: Commit 53cd09e pushed by facundominguez
November 1, 2023 20:22 43s fd/ghc-9.4.7
November 1, 2023 20:22 43s
pages build and deployment
pages-build-deployment #180: by github-pages bot
October 31, 2023 15:06 48s gh-pages
October 31, 2023 15:06 48s
Merge pull request #2230 from clayrat/9.2.8
hlint #662: Commit fe1c99a pushed by nikivazou
October 31, 2023 15:05 43s develop
October 31, 2023 15:05 43s