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

Update the profiling driver hlint #690: Commit 502dcc3 pushed by facundominguez
November 18, 2023 12:48 28s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 12:48 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 hlint #689: Commit 458d68f pushed by facundominguez
November 18, 2023 12:39 30s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 12:39 30s
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
Stop let generalization in benchmark-vector-algorithms hlint #688: Commit 795f905 pushed by facundominguez
November 18, 2023 12:37 32s fd/ghc-9.4.7
fd/ghc-9.4.7
November 18, 2023 12:37 32s
pages build and deployment pages-build-deployment #183: by github-pages bot
November 18, 2023 12:35 39s gh-pages
gh-pages
November 18, 2023 12:35 39s
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 #2239 from ucsd-progsys/fd/simplify-liquid-platform hlint #687: Commit 2b338eb pushed by facundominguez
November 18, 2023 12:34 29s develop
develop
November 18, 2023 12:34 29s
pages build and deployment pages-build-deployment #182: by github-pages bot
November 17, 2023 21:58 34s gh-pages
gh-pages
November 17, 2023 21:58 34s
Merge pull request #2238 from ucsd-progsys/fd/fix2237 hlint #686: Commit de369ae pushed by facundominguez
November 17, 2023 21:57 33s develop
develop
November 17, 2023 21:57 33s
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
Make the measure-timings flag manual hlint #685: Commit 16e96a3 pushed by facundominguez
November 17, 2023 21:57 30s fd/ghc-9.4.7
fd/ghc-9.4.7
November 17, 2023 21:57 30s
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
Remove -ddump-ds flag from pos/T2235.hs hlint #684: Commit cfab02f pushed by facundominguez
November 17, 2023 21:42 30s fd/ghc-9.4.7
fd/ghc-9.4.7
November 17, 2023 21:42 30s
Simplify the liquid-platform:liquidhaskell executable hlint #683: Pull request #2239 opened by facundominguez
November 17, 2023 20:35 28s fd/simplify-liquid-platform
fd/simplify-liquid-platform
November 17, 2023 20:35 28s
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
Simplify the liquid-platform:liquidhaskell executable hlint #682: Commit 27bb078 pushed by facundominguez
November 17, 2023 20:35 34s fd/simplify-liquid-platform
fd/simplify-liquid-platform
November 17, 2023 20:35 34s
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 hlint #681: Pull request #2238 opened by facundominguez
November 17, 2023 20:34 31s fd/fix2237
fd/fix2237
November 17, 2023 20:34 31s
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 hlint #680: Commit f2f63f9 pushed by facundominguez
November 17, 2023 20:33 33s fd/fix2237
fd/fix2237
November 17, 2023 20:33 33s
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-17 or the other filters available.