Skip to content

Actions: kevin-lee/refined4s

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to d… Release #47: Commit 3820733 pushed by kevin-lee
December 7, 2023 12:59 3m 3s main
main
December 7, 2023 12:59 3m 3s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to d… Check-All #164: Commit 3820733 pushed by kevin-lee
December 7, 2023 12:59 46s main
main
December 7, 2023 12:59 46s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to derive Eq and Show from the actual type's Eq and Show Build-All #114: Pull request #64 synchronize by kevin-lee
December 7, 2023 12:54 1m 59s task/63/Add-CatsEq-CatsShow-CatsEqShow
task/63/Add-CatsEq-CatsShow-CatsEqShow
December 7, 2023 12:54 1m 59s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to derive Eq and Show from the actual type's Eq and Show Check-All #163: Pull request #64 synchronize by kevin-lee
December 7, 2023 12:54 53s task/63/Add-CatsEq-CatsShow-CatsEqShow
task/63/Add-CatsEq-CatsShow-CatsEqShow
December 7, 2023 12:54 53s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to d… Build-All #113: Commit 5a361ed pushed by kevin-lee
December 7, 2023 12:54 1m 36s task/63/Add-CatsEq-CatsShow-CatsEqShow
task/63/Add-CatsEq-CatsShow-CatsEqShow
December 7, 2023 12:54 1m 36s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to d… Check-All #162: Commit 5a361ed pushed by kevin-lee
December 7, 2023 12:54 49s task/63/Add-CatsEq-CatsShow-CatsEqShow
task/63/Add-CatsEq-CatsShow-CatsEqShow
December 7, 2023 12:54 49s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to derive Eq and Show from the actual type's Eq and Show PR Labeler #51: Pull request #64 edited by kevin-lee
December 7, 2023 12:54 10s
December 7, 2023 12:54 10s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to derive Eq and Show from the actual type's Eq and Show Check-All #161: Pull request #64 opened by kevin-lee
December 7, 2023 12:53 43s task/63/Add-CatsEq-CatsShow-CatsEqShow
task/63/Add-CatsEq-CatsShow-CatsEqShow
December 7, 2023 12:53 43s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to derive Eq and Show from the actual type's Eq and Show Build-All #112: Pull request #64 opened by kevin-lee
December 7, 2023 12:53 1m 35s task/63/Add-CatsEq-CatsShow-CatsEqShow
task/63/Add-CatsEq-CatsShow-CatsEqShow
December 7, 2023 12:53 1m 35s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to derive Eq and Show from the actual type's Eq and Show PR Labeler #50: Pull request #64 opened by kevin-lee
December 7, 2023 12:53 12s
December 7, 2023 12:53 12s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to d… Build-All #111: Commit 770675c pushed by kevin-lee
December 7, 2023 12:52 1m 46s task/63/Add-CatsEq-CatsShow-CatsEqShow
task/63/Add-CatsEq-CatsShow-CatsEqShow
December 7, 2023 12:52 1m 46s
Close #63 - [refined4s-cats] Add CatsEq, CatsShow and CatsEqShow to d… Check-All #160: Commit 770675c pushed by kevin-lee
December 7, 2023 12:52 54s task/63/Add-CatsEq-CatsShow-CatsEqShow
task/63/Add-CatsEq-CatsShow-CatsEqShow
December 7, 2023 12:52 54s
Close #61 - Add toValue syntax to get the value from Newtype containi… Check-All #159: Commit 9949a5d pushed by kevin-lee
December 6, 2023 21:27 49s main
main
December 6, 2023 21:27 49s
Close #61 - Add toValue syntax to get the value from Newtype containi… Release #46: Commit 9949a5d pushed by kevin-lee
December 6, 2023 21:27 2m 46s main
main
December 6, 2023 21:27 2m 46s
Close #61 - Add toValue syntax to get the value from Newtype containing Refined[A] or InlinedRefined[A] PR Labeler #49: Pull request #62 edited by kevin-lee
December 6, 2023 21:22 9s
December 6, 2023 21:22 9s
Close #61 - Add toValue syntax to get the value from Newtype containing Refined[A] or InlinedRefined[A] Build-All #110: Pull request #62 opened by kevin-lee
December 6, 2023 21:21 1m 33s task/61/add-toValue
task/61/add-toValue
December 6, 2023 21:21 1m 33s
Close #61 - Add toValue syntax to get the value from Newtype containing Refined[A] or InlinedRefined[A] PR Labeler #48: Pull request #62 opened by kevin-lee
December 6, 2023 21:21 13s
December 6, 2023 21:21 13s
Close #61 - Add toValue syntax to get the value from Newtype containing Refined[A] or InlinedRefined[A] Check-All #158: Pull request #62 opened by kevin-lee
December 6, 2023 21:21 47s task/61/add-toValue
task/61/add-toValue
December 6, 2023 21:21 47s
Close #61 - Add toValue syntax to get the value from Newtype containi… Check-All #157: Commit faaff7a pushed by kevin-lee
December 6, 2023 21:21 46s task/61/add-toValue
task/61/add-toValue
December 6, 2023 21:21 46s
Close #61 - Add toValue syntax to get the value from Newtype containi… Build-All #109: Commit faaff7a pushed by kevin-lee
December 6, 2023 21:21 1m 24s task/61/add-toValue
task/61/add-toValue
December 6, 2023 21:21 1m 24s
Close #59 - Add refined4s-cats module and add validateAs syntax to cr… Check-All #156: Commit 9562fcf pushed by kevin-lee
December 6, 2023 12:42 57s main
main
December 6, 2023 12:42 57s
Close #59 - Add refined4s-cats module and add validateAs syntax to cr… Release #45: Commit 9562fcf pushed by kevin-lee
December 6, 2023 12:42 5m 5s main
main
December 6, 2023 12:42 5m 5s
Close #59 - Add refined4s-cats module and add validateAs syntax to create Newtype containing Refined[A] or InlinedRefined[A] PR Labeler #47: Pull request #60 edited by kevin-lee
December 6, 2023 12:40 15s
December 6, 2023 12:40 15s
Close #59 - Add refined4s-cats module and add validateAs syntax to create Newtype containing Refined[A] or InlinedRefined[A] Check-All #155: Pull request #60 opened by kevin-lee
December 6, 2023 12:39 59s task/59/add-validateAs
task/59/add-validateAs
December 6, 2023 12:39 59s
Close #59 - Add refined4s-cats module and add validateAs syntax to create Newtype containing Refined[A] or InlinedRefined[A] PR Labeler #46: Pull request #60 opened by kevin-lee
December 6, 2023 12:39 13s
December 6, 2023 12:39 13s