Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

Documentation CI/CD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs-ci-cd.yml
635 workflow runs
635 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Liquid Haskell to build with ghc 9.4.7 Documentation CI/CD #1170: Pull request #2240 synchronize by facundominguez
November 18, 2023 14:23 39s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 14:23 39s
Fix the ghc API tests Documentation CI/CD #1169: Commit 1ed2338 pushed by facundominguez
November 18, 2023 14:23 33s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 14:23 33s
Update Liquid Haskell to build with ghc 9.4.7 Documentation CI/CD #1168: Pull request #2240 synchronize by facundominguez
November 18, 2023 12:53 32s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 12:53 32s
Update the profiling driver Documentation CI/CD #1167: Commit 6057cb7 pushed by facundominguez
November 18, 2023 12:53 29s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 12:53 29s
Update Liquid Haskell to build with ghc 9.4.7 Documentation CI/CD #1166: Pull request #2240 opened by facundominguez
November 18, 2023 12:49 28s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 12:49 28s
Update the profiling driver Documentation CI/CD #1165: Commit 502dcc3 pushed by facundominguez
November 18, 2023 12:48 38s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 12:48 38s
Stop let generalization in benchmark-vector-algorithms Documentation CI/CD #1164: Commit 458d68f pushed by facundominguez
November 18, 2023 12:39 33s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 12:39 33s
Stop let generalization in benchmark-vector-algorithms Documentation CI/CD #1163: Commit 795f905 pushed by facundominguez
November 18, 2023 12:37 40s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 12:37 40s
Merge pull request #2239 from ucsd-progsys/fd/simplify-liquid-platform Documentation CI/CD #1162: Commit 2b338eb pushed by facundominguez
November 18, 2023 12:34 1m 8s develop
develop
November 18, 2023 12:34 1m 8s
Merge pull request #2238 from ucsd-progsys/fd/fix2237 Documentation CI/CD #1161: Commit de369ae pushed by facundominguez
November 17, 2023 21:57 1m 1s develop
develop
November 17, 2023 21:57 1m 1s
Make the measure-timings flag manual Documentation CI/CD #1160: Commit 16e96a3 pushed by facundominguez
November 17, 2023 21:57 32s fd/ghc-9.4.7
fd/ghc-9.4.7
November 17, 2023 21:57 32s
Remove -ddump-ds flag from pos/T2235.hs Documentation CI/CD #1159: Commit cfab02f pushed by facundominguez
November 17, 2023 21:42 35s fd/ghc-9.4.7
fd/ghc-9.4.7
November 17, 2023 21:42 35s
Simplify the liquid-platform:liquidhaskell executable Documentation CI/CD #1158: Pull request #2239 opened by facundominguez
November 17, 2023 20:35 29s fd/simplify-liquid-platform
fd/simplify-liquid-platform
November 17, 2023 20:35 29s
Simplify the liquid-platform:liquidhaskell executable Documentation CI/CD #1157: Commit 27bb078 pushed by facundominguez
November 17, 2023 20:35 30s fd/simplify-liquid-platform
fd/simplify-liquid-platform
November 17, 2023 20:35 30s
Allow LH to understand integer literals using GHC.Num.Integer.IS Documentation CI/CD #1156: Pull request #2238 opened by facundominguez
November 17, 2023 20:34 35s fd/fix2237
fd/fix2237
November 17, 2023 20:34 35s
Allow LH to understand integer literals using GHC.Num.Integer.IS Documentation CI/CD #1155: Commit f2f63f9 pushed by facundominguez
November 17, 2023 20:33 30s fd/fix2237
fd/fix2237
November 17, 2023 20:33 30s
Allow LH to understand integer literals using GHC.Num.Integer.IS Documentation CI/CD #1154: Commit f269afc pushed by facundominguez
November 17, 2023 20:29 36s fd/fix2237
fd/fix2237
November 17, 2023 20:29 36s
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
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
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
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
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 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
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-15 or the other filters available.