Skip to content

Actions: AlecsFerra/liquidhaskell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
139 workflow runs
139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GHC HEAD GHC HEAD #13: Scheduled
December 30, 2024 08:12 51s develop
develop
December 30, 2024 08:12 51s
GHC HEAD GHC HEAD #12: Scheduled
December 23, 2024 08:13 52s develop
develop
December 23, 2024 08:13 52s
GHC HEAD GHC HEAD #11: Scheduled
December 16, 2024 08:14 53s develop
develop
December 16, 2024 08:14 53s
Point fixpoint to ucsd-progsys hlint #63: Commit f334d1b pushed by AlecsFerra
December 16, 2024 07:56 46s develop
develop
December 16, 2024 07:56 46s
Point fixpoint to ucsd-progsys Documentation CI/CD #63: Commit f334d1b pushed by AlecsFerra
December 16, 2024 07:56 50s develop
develop
December 16, 2024 07:56 50s
Strip more of eqSort in Init.hs Documentation CI/CD #62: Commit 79eac45 pushed by facundominguez
December 14, 2024 02:04 55s develop
develop
December 14, 2024 02:04 55s
Strip more of eqSort in Init.hs hlint #62: Commit 79eac45 pushed by facundominguez
December 14, 2024 02:04 32s develop
develop
December 14, 2024 02:04 32s
Remove polymorphism fix up of equations in measEnv hlint #61: Commit 293f739 pushed by facundominguez
December 13, 2024 19:55 29s develop
develop
December 13, 2024 19:55 29s
Remove polymorphism fix up of equations in measEnv Documentation CI/CD #61: Commit 293f739 pushed by facundominguez
December 13, 2024 19:55 1m 2s develop
develop
December 13, 2024 19:55 1m 2s
Suggestion hlint #60: Commit 654e269 pushed by AlecsFerra
December 13, 2024 18:35 36s develop
develop
December 13, 2024 18:35 36s
Suggestion Documentation CI/CD #60: Commit 654e269 pushed by AlecsFerra
December 13, 2024 18:35 56s develop
develop
December 13, 2024 18:35 56s
Document make assume type hlint #59: Commit 4eadf0a pushed by AlecsFerra
December 13, 2024 18:01 34s develop
develop
December 13, 2024 18:01 34s
Document make assume type Documentation CI/CD #59: Commit 4eadf0a pushed by AlecsFerra
December 13, 2024 18:01 53s develop
develop
December 13, 2024 18:01 53s
Add some tests with lambdas hlint #58: Commit c94ddf1 pushed by AlecsFerra
December 13, 2024 14:58 35s develop
develop
December 13, 2024 14:58 35s
Add some tests with lambdas Documentation CI/CD #58: Commit c94ddf1 pushed by AlecsFerra
December 13, 2024 14:58 55s develop
develop
December 13, 2024 14:58 55s
Forward allowTC state in lambda body Documentation CI/CD #57: Commit 221f527 pushed by AlecsFerra
December 13, 2024 14:50 56s develop
develop
December 13, 2024 14:50 56s
Forward allowTC state in lambda body hlint #57: Commit 221f527 pushed by AlecsFerra
December 13, 2024 14:50 34s develop
develop
December 13, 2024 14:50 34s
WIP: point fp to my repo hlint #56: Commit b83678e pushed by AlecsFerra
December 12, 2024 15:44 34s develop
develop
December 12, 2024 15:44 34s
WIP: point fp to my repo Documentation CI/CD #56: Commit b83678e pushed by AlecsFerra
December 12, 2024 15:44 1m 3s develop
develop
December 12, 2024 15:44 1m 3s
GHC HEAD GHC HEAD #10: Scheduled
December 9, 2024 08:14 1m 1s develop
develop
December 9, 2024 08:14 1m 1s
GHC HEAD GHC HEAD #9: Scheduled
December 2, 2024 08:14 54s develop
develop
December 2, 2024 08:14 54s
GHC HEAD GHC HEAD #8: Scheduled
November 25, 2024 08:14 53s develop
develop
November 25, 2024 08:14 53s
GHC HEAD GHC HEAD #7: Scheduled
November 18, 2024 08:14 55s develop
develop
November 18, 2024 08:14 55s
Use fail directive in test Documentation CI/CD #55: Commit 6db3ffc pushed by AlecsFerra
November 11, 2024 15:59 56s develop
develop
November 11, 2024 15:59 56s
Use fail directive in test hlint #55: Commit 6db3ffc pushed by AlecsFerra
November 11, 2024 15:59 34s develop
develop
November 11, 2024 15:59 34s