Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

GHC HEAD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ghc-head.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GHC HEAD GHC HEAD #21: Scheduled
December 16, 2024 08:00 4m 9s develop
develop
December 16, 2024 08:00 4m 9s
GHC HEAD GHC HEAD #20: Scheduled
December 9, 2024 08:00 4m 17s develop
develop
December 9, 2024 08:00 4m 17s
GHC HEAD GHC HEAD #19: Scheduled
December 2, 2024 08:00 22m 19s develop
develop
December 2, 2024 08:00 22m 19s
GHC HEAD GHC HEAD #18: Scheduled
November 25, 2024 08:00 13m 47s develop
develop
November 25, 2024 08:00 13m 47s
GHC HEAD GHC HEAD #17: Scheduled
November 18, 2024 08:00 14m 56s develop
develop
November 18, 2024 08:00 14m 56s
GHC HEAD GHC HEAD #16: Manually run by facundominguez
November 12, 2024 11:11 12m 27s develop
develop
November 12, 2024 11:11 12m 27s
GHC HEAD GHC HEAD #15: Manually run by facundominguez
November 11, 2024 17:30 12m 36s develop
develop
November 11, 2024 17:30 12m 36s
GHC HEAD GHC HEAD #14: Scheduled
November 11, 2024 08:01 9m 48s develop
develop
November 11, 2024 08:01 9m 48s
GHC HEAD GHC HEAD #13: Scheduled
November 4, 2024 08:00 9m 37s develop
develop
November 4, 2024 08:00 9m 37s
GHC HEAD GHC HEAD #12: Scheduled
October 28, 2024 08:01 12m 38s develop
develop
October 28, 2024 08:01 12m 38s
GHC HEAD GHC HEAD #11: Scheduled
October 21, 2024 08:00 12m 31s develop
develop
October 21, 2024 08:00 12m 31s
GHC HEAD GHC HEAD #10: Scheduled
October 14, 2024 08:01 12m 33s develop
develop
October 14, 2024 08:01 12m 33s
GHC HEAD GHC HEAD #9: Scheduled
October 7, 2024 08:00 10m 25s develop
develop
October 7, 2024 08:00 10m 25s
GHC HEAD GHC HEAD #8: Scheduled
September 30, 2024 08:00 12m 45s develop
develop
September 30, 2024 08:00 12m 45s
Update checkout action to v4 in GHC HEAD job GHC HEAD #7: Pull request #2348 opened by facundominguez
September 24, 2024 11:02 21m 3s update-checkout-ghc-head
update-checkout-ghc-head
September 24, 2024 11:02 21m 3s
GHC HEAD GHC HEAD #6: Scheduled
September 23, 2024 08:01 20m 23s develop
develop
September 23, 2024 08:01 20m 23s
GHC HEAD GHC HEAD #5: Manually run by facundominguez
September 19, 2024 15:08 43s fd/ghc-head2
fd/ghc-head2
September 19, 2024 15:08 43s
GHC HEAD GHC HEAD #4: Manually run by facundominguez
September 19, 2024 15:05 1s fd/ghc-head2
fd/ghc-head2
September 19, 2024 15:05 1s
Add a job to test LH with GHC HEAD GHC HEAD #3: Pull request #2342 synchronize by facundominguez
September 19, 2024 12:46 20m 39s fd/ghc-head
fd/ghc-head
September 19, 2024 12:46 20m 39s
Add a job to test LH with GHC HEAD GHC HEAD #2: Pull request #2342 synchronize by facundominguez
September 19, 2024 12:28 3m 24s fd/ghc-head
fd/ghc-head
September 19, 2024 12:28 3m 24s
Add a job to test LH with GHC HEAD GHC HEAD #1: Pull request #2342 synchronize by facundominguez
September 19, 2024 12:15 3m 28s fd/ghc-head
fd/ghc-head
September 19, 2024 12:15 3m 28s