Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Liquid Haskell with ghc-9.8.1 hlint #751: Pull request #2248 opened by facundominguez
December 11, 2023 22:20 37s fd/ghc-9.8.1
fd/ghc-9.8.1
December 11, 2023 22:20 37s
Build Liquid Haskell with ghc-9.8.1 Documentation CI/CD #1226: Pull request #2248 opened by facundominguez
December 11, 2023 22:20 37s fd/ghc-9.8.1
fd/ghc-9.8.1
December 11, 2023 22:20 37s
Run tests with --allow-newer Documentation CI/CD #1225: Commit 170265a pushed by facundominguez
December 8, 2023 11:35 35s fd/ghc-9.8.1
fd/ghc-9.8.1
December 8, 2023 11:35 35s
Run tests with --allow-newer hlint #750: Commit 170265a pushed by facundominguez
December 8, 2023 11:35 33s fd/ghc-9.8.1
fd/ghc-9.8.1
December 8, 2023 11:35 33s
Fix desugaring of ($) Documentation CI/CD #1224: Commit 951c19d pushed by facundominguez
December 8, 2023 11:26 34s fd/ghc-9.8.1
fd/ghc-9.8.1
December 8, 2023 11:26 34s
Fix desugaring of ($) hlint #749: Commit 951c19d pushed by facundominguez
December 8, 2023 11:26 31s fd/ghc-9.8.1
fd/ghc-9.8.1
December 8, 2023 11:26 31s
Update liquid-fixpoint hlint #748: Commit 6f369bc pushed by facundominguez
December 8, 2023 02:37 36s fd/ghc-9.8.1
fd/ghc-9.8.1
December 8, 2023 02:37 36s
Update liquid-fixpoint Documentation CI/CD #1223: Commit 6f369bc pushed by facundominguez
December 8, 2023 02:37 34s fd/ghc-9.8.1
fd/ghc-9.8.1
December 8, 2023 02:37 34s
Replace aeson with json Documentation CI/CD #1222: Commit 2daf014 pushed by facundominguez
December 8, 2023 01:36 34s fd/json
fd/json
December 8, 2023 01:36 34s
Replace aeson with json hlint #747: Commit 2daf014 pushed by facundominguez
December 8, 2023 01:36 29s fd/json
fd/json
December 8, 2023 01:36 29s
Fix build errors when building with ghc-9.8.1 hlint #746: Commit 3a2a35f pushed by facundominguez
December 7, 2023 15:22 31s fd/ghc-9.8.1
fd/ghc-9.8.1
December 7, 2023 15:22 31s
Fix build errors when building with ghc-9.8.1 Documentation CI/CD #1221: Commit 3a2a35f pushed by facundominguez
December 7, 2023 15:22 38s fd/ghc-9.8.1
fd/ghc-9.8.1
December 7, 2023 15:22 38s
pages build and deployment pages-build-deployment #189: by github-pages bot
December 6, 2023 20:57 40s gh-pages
gh-pages
December 6, 2023 20:57 40s
Merge pull request #2247 from ucsd-progsys/fd/ghc-9.6.3 hlint #745: Commit 60e5e56 pushed by facundominguez
December 6, 2023 20:56 30s develop
develop
December 6, 2023 20:56 30s
Merge pull request #2247 from ucsd-progsys/fd/ghc-9.6.3 Documentation CI/CD #1220: Commit 60e5e56 pushed by facundominguez
December 6, 2023 20:56 1m 7s develop
develop
December 6, 2023 20:56 1m 7s
Update CHANGES.md hlint #744: Commit b3a5ac9 pushed by facundominguez
December 6, 2023 20:29 29s v0.9.4.7
v0.9.4.7
December 6, 2023 20:29 29s
Update CHANGES.md Documentation CI/CD #1219: Commit b3a5ac9 pushed by facundominguez
December 6, 2023 20:29 30s v0.9.4.7
v0.9.4.7
December 6, 2023 20:29 30s
pages build and deployment pages-build-deployment #188: by github-pages bot
December 6, 2023 20:28 37s gh-pages
gh-pages
December 6, 2023 20:28 37s
Update CHANGES.md Documentation CI/CD #1218: Commit b3a5ac9 pushed by facundominguez
December 6, 2023 20:27 1m 0s develop
develop
December 6, 2023 20:27 1m 0s
Update CHANGES.md hlint #743: Commit b3a5ac9 pushed by facundominguez
December 6, 2023 20:27 28s develop
develop
December 6, 2023 20:27 28s
Update liquidhaskell to build with GHC 9.6.3 Documentation CI/CD #1217: Pull request #2247 synchronize by facundominguez
December 6, 2023 20:13 32s fd/ghc-9.6.3
fd/ghc-9.6.3
December 6, 2023 20:13 32s
Update liquidhaskell to build with GHC 9.6.3 hlint #742: Pull request #2247 synchronize by facundominguez
December 6, 2023 20:13 31s fd/ghc-9.6.3
fd/ghc-9.6.3
December 6, 2023 20:13 31s
Update stitch-lh benchmark to build with the latest stackage snapshot hlint #741: Commit dd7d42d pushed by facundominguez
December 6, 2023 20:13 35s fd/ghc-9.6.3
fd/ghc-9.6.3
December 6, 2023 20:13 35s
Update stitch-lh benchmark to build with the latest stackage snapshot Documentation CI/CD #1216: Commit dd7d42d pushed by facundominguez
December 6, 2023 20:13 39s fd/ghc-9.6.3
fd/ghc-9.6.3
December 6, 2023 20:13 39s
Update liquidhaskell to build with GHC 9.6.3 hlint #740: Pull request #2247 synchronize by facundominguez
December 5, 2023 21:38 30s fd/ghc-9.6.3
fd/ghc-9.6.3
December 5, 2023 21:38 30s