Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix cabal file for plot-performance hlint #763: Commit 6d04eb4 pushed by facundominguez
January 25, 2024 13:06 46s develop
develop
January 25, 2024 13:06 46s
Fix cabal file for plot-performance Documentation CI/CD #1238: Commit 6d04eb4 pushed by facundominguez
January 25, 2024 13:06 1m 1s develop
develop
January 25, 2024 13:06 1m 1s
pages build and deployment with artifacts-next pages-build-deployment #191: by github-pages bot
January 24, 2024 01:37 33s gh-pages
gh-pages
January 24, 2024 01:37 33s
Merge pull request #2256 from ucsd-progsys/fd/recommend-z3 Documentation CI/CD #1237: Commit 3ca414c pushed by ranjitjhala
January 24, 2024 01:36 1m 9s develop
develop
January 24, 2024 01:36 1m 9s
Merge pull request #2256 from ucsd-progsys/fd/recommend-z3 hlint #762: Commit 3ca414c pushed by ranjitjhala
January 24, 2024 01:36 34s develop
develop
January 24, 2024 01:36 34s
Recommend Z3 when the user doesn't have an opinion hlint #761: Pull request #2256 opened by facundominguez
January 23, 2024 21:26 31s fd/recommend-z3
fd/recommend-z3
January 23, 2024 21:26 31s
Recommend Z3 when the user doesn't have an opinion Documentation CI/CD #1236: Pull request #2256 opened by facundominguez
January 23, 2024 21:26 34s fd/recommend-z3
fd/recommend-z3
January 23, 2024 21:26 34s
Build Liquid Haskell with ghc-9.8.1 Documentation CI/CD #1235: Pull request #2248 synchronize by facundominguez
January 23, 2024 11:23 30s fd/ghc-9.8.1
fd/ghc-9.8.1
January 23, 2024 11:23 30s
Build Liquid Haskell with ghc-9.8.1 hlint #760: Pull request #2248 synchronize by facundominguez
January 23, 2024 11:23 35s fd/ghc-9.8.1
fd/ghc-9.8.1
January 23, 2024 11:23 35s
pages build and deployment pages-build-deployment #190: by github-pages bot
December 16, 2023 18:38 36s gh-pages
gh-pages
December 16, 2023 18:38 36s
Bump express from 2.5.9 to 4.17.3 in /docs/slides/plpv14/_support/reveal hlint #759: Pull request #2254 opened by dependabot bot
December 16, 2023 18:37 31s dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/express-4.17.3
dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/express-4.17.3
December 16, 2023 18:37 31s
Bump express from 2.5.9 to 4.17.3 in /docs/slides/plpv14/_support/reveal Documentation CI/CD #1234: Pull request #2254 opened by dependabot bot
December 16, 2023 18:37 31s dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/express-4.17.3
dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/express-4.17.3
December 16, 2023 18:37 31s
Bump underscore from 1.3.3 to 1.12.1 in /docs/slides/plpv14/_support/reveal hlint #758: Pull request #2253 opened by dependabot bot
December 16, 2023 18:37 31s dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/underscore-1.12.1
dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/underscore-1.12.1
December 16, 2023 18:37 31s
Bump underscore from 1.3.3 to 1.12.1 in /docs/slides/plpv14/_support/reveal Documentation CI/CD #1233: Pull request #2253 opened by dependabot bot
December 16, 2023 18:37 28s dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/underscore-1.12.1
dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/underscore-1.12.1
December 16, 2023 18:37 28s
Bump mustache from 0.4.0 to 2.2.1 in /docs/slides/plpv14/_support/reveal Documentation CI/CD #1232: Pull request #2252 opened by dependabot bot
December 16, 2023 18:37 29s dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/mustache-2.2.1
dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/mustache-2.2.1
December 16, 2023 18:37 29s
Bump mustache from 0.4.0 to 2.2.1 in /docs/slides/plpv14/_support/reveal hlint #757: Pull request #2252 opened by dependabot bot
December 16, 2023 18:37 32s dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/mustache-2.2.1
dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/mustache-2.2.1
December 16, 2023 18:37 32s
Bump socket.io from 0.9.6 to 2.4.0 in /docs/slides/plpv14/_support/reveal Documentation CI/CD #1231: Pull request #2251 opened by dependabot bot
December 16, 2023 18:37 29s dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/socket.io-2.4.0
dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/socket.io-2.4.0
December 16, 2023 18:37 29s
Bump socket.io from 0.9.6 to 2.4.0 in /docs/slides/plpv14/_support/reveal hlint #756: Pull request #2251 opened by dependabot bot
December 16, 2023 18:37 28s dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/socket.io-2.4.0
dependabot/npm_and_yarn/docs/slides/plpv14/_support/reveal/socket.io-2.4.0
December 16, 2023 18:37 28s
Merge pull request #2250 from ucsd-progsys/fd/deadcode Documentation CI/CD #1230: Commit 98fdb40 pushed by facundominguez
December 16, 2023 18:37 1m 3s develop
develop
December 16, 2023 18:37 1m 3s
Merge pull request #2250 from ucsd-progsys/fd/deadcode hlint #755: Commit 98fdb40 pushed by facundominguez
December 16, 2023 18:37 30s develop
develop
December 16, 2023 18:37 30s
Remove more unused code hlint #754: Pull request #2250 opened by facundominguez
December 16, 2023 17:53 30s fd/deadcode
fd/deadcode
December 16, 2023 17:53 30s
Remove more unused code Documentation CI/CD #1229: Pull request #2250 opened by facundominguez
December 16, 2023 17:53 30s fd/deadcode
fd/deadcode
December 16, 2023 17:53 30s
Build Liquid Haskell with ghc-9.8.1 Documentation CI/CD #1228: Pull request #2248 synchronize by facundominguez
December 15, 2023 12:40 32s fd/ghc-9.8.1
fd/ghc-9.8.1
December 15, 2023 12:40 32s
Build Liquid Haskell with ghc-9.8.1 hlint #753: Pull request #2248 synchronize by facundominguez
December 15, 2023 12:40 30s fd/ghc-9.8.1
fd/ghc-9.8.1
December 15, 2023 12:40 30s
Avoid PartialTypeSignatures in tests/pos/GhcSort1.hs hlint #752: Commit bbc8d7c pushed by facundominguez
December 15, 2023 12:40 34s fd/ghc-9.8.1
fd/ghc-9.8.1
December 15, 2023 12:40 34s
ProTip! You can narrow down the results and go further in time using created:<2023-12-15 or the other filters available.