Skip to content

Actions: unsplash/sum-types

All workflows

Actions

Loading...

Showing runs from all workflows
27 workflow runs
27 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Add Nix shell
Check #119: Commit 0da4333 pushed by samhh
February 16, 2024 11:23 49s master
February 16, 2024 11:23 49s
pages build and deployment
pages-build-deployment #26: by samhh
February 16, 2024 11:23 39s
February 16, 2024 11:23 39s
Formatting
Check #118: Commit 81b8d3f pushed by samhh
October 4, 2023 15:39 51s master
October 4, 2023 15:39 51s
pages build and deployment
pages-build-deployment #25: by samhh
October 4, 2023 15:39 53s
October 4, 2023 15:39 53s
0.4.1
Check #117: Commit 4902302 pushed by samhh
October 4, 2023 15:36 1m 8s master
October 4, 2023 15:36 1m 8s
pages build and deployment
pages-build-deployment #24: by samhh
October 4, 2023 15:36 57s
October 4, 2023 15:36 57s
Merge pull request #57 from unsplash/matchx-undefined
Check #116: Commit be211e1 pushed by mlegenhausen
June 5, 2023 09:59 59s master
June 5, 2023 09:59 59s
pages build and deployment
pages-build-deployment #23: by mlegenhausen
June 5, 2023 09:59 53s
June 5, 2023 09:59 53s
0.4.0
Check #110: Commit 7f3a07c pushed by samhh
May 16, 2023 12:41 1m 1s master
May 16, 2023 12:41 1m 1s
pages build and deployment
pages-build-deployment #22: by samhh
May 16, 2023 12:41 1m 0s
May 16, 2023 12:41 1m 0s
Merge pull request #54 from unsplash/is
Check #109: Commit 4b85744 pushed by samhh
May 16, 2023 12:26 1m 0s master
May 16, 2023 12:26 1m 0s
pages build and deployment
pages-build-deployment #21: by samhh
May 16, 2023 12:26 50s
May 16, 2023 12:26 50s
Merge pull request #56 from unsplash/matchx
Check #108: Commit 0127017 pushed by samhh
May 16, 2023 12:25 57s master
May 16, 2023 12:25 57s
pages build and deployment
pages-build-deployment #20: by samhh
May 16, 2023 12:25 45s
May 16, 2023 12:25 45s
Add constant matching
Check #107: Pull request #56 synchronize by samhh
May 16, 2023 12:22 58s matchx
May 16, 2023 12:22 58s
Add refinement primitive
Check #106: Pull request #54 synchronize by samhh
May 16, 2023 12:16 53s is
is
May 16, 2023 12:16 53s
Merge pull request #55 from unsplash/fix-deserialize-req-eq
Check #105: Commit fb06f10 pushed by samhh
May 16, 2023 12:12 1m 7s master
May 16, 2023 12:12 1m 7s
pages build and deployment
pages-build-deployment #19: by samhh
May 16, 2023 12:12 54s
May 16, 2023 12:12 54s
Add constant matching
Check #104: Pull request #56 opened by samhh
May 15, 2023 21:03 1m 12s matchx
May 15, 2023 21:03 1m 12s
Add refinement primitive
Check #103: Pull request #54 synchronize by samhh
May 15, 2023 20:40 48s is
is
May 15, 2023 20:40 48s