Skip to content

Actions: propensive/polyvinyl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:propensive/polyvinyl
Build #89: Commit fab91cb pushed by propensive
December 14, 2024 14:28 10m 40s main
December 14, 2024 14:28 10m 40s
Merge branch 'main' of github.com:propensive/polyvinyl
Repo Admin #30: Commit fab91cb pushed by propensive
December 14, 2024 14:28 6m 25s main
December 14, 2024 14:28 6m 25s
Update indentation style
Repo Admin #29: Commit 49606ce pushed by propensive
November 11, 2024 10:31 5m 23s main
November 11, 2024 10:31 5m 23s
Update indentation style
Build #88: Commit 49606ce pushed by propensive
November 11, 2024 10:31 9m 54s main
November 11, 2024 10:31 9m 54s
Merge branch 'main' of github.com:propensive/polyvinyl
Build #87: Commit 781cc89 pushed by propensive
August 26, 2024 19:51 8m 54s main
August 26, 2024 19:51 8m 54s
Merge branch 'main' of github.com:propensive/polyvinyl
Repo Admin #28: Commit 5eb3127 pushed by propensive
August 23, 2024 09:18 1m 13s main
August 23, 2024 09:18 1m 13s
Merge branch 'main' of github.com:propensive/polyvinyl
Build #86: Commit 5eb3127 pushed by propensive
August 23, 2024 09:18 5m 25s main
August 23, 2024 09:18 5m 25s
Use Prepositional for infix types
Repo Admin #27: Commit ef1a898 pushed by propensive
August 22, 2024 20:35 53s main
August 22, 2024 20:35 53s
Use Prepositional for infix types
Build #85: Commit ef1a898 pushed by propensive
August 22, 2024 20:35 5m 30s main
August 22, 2024 20:35 5m 30s
Merge branch 'main' of github.com:propensive/polyvinyl
Repo Admin #26: Commit aa5e54c pushed by propensive
July 1, 2024 06:13 1m 25s main
July 1, 2024 06:13 1m 25s
Merge branch 'main' of github.com:propensive/polyvinyl
Build #84: Commit aa5e54c pushed by propensive
July 1, 2024 06:13 5m 28s main
July 1, 2024 06:13 5m 28s
New style typeclasses
Build #83: Commit 709ff98 pushed by propensive
June 21, 2024 05:45 5m 4s main
June 21, 2024 05:45 5m 4s
New style typeclasses
Repo Admin #25: Commit 709ff98 pushed by propensive
June 21, 2024 05:45 55s main
June 21, 2024 05:45 55s
Rename sources; export to soundness and reorder imports
Build #82: Commit 999d104 pushed by propensive
June 7, 2024 06:08 4m 40s main
June 7, 2024 06:08 4m 40s
Rename sources; export to soundness and reorder imports
Repo Admin #24: Commit 999d104 pushed by propensive
June 7, 2024 06:08 58s main
June 7, 2024 06:08 58s
Updated documentation
Build #81: Commit e470f06 pushed by propensive
April 29, 2024 19:32 9m 59s main
April 29, 2024 19:32 9m 59s
Updated documentation
Build #80: Commit b84bdd3 pushed by propensive
April 29, 2024 19:13 6m 43s main
April 29, 2024 19:13 6m 43s
Add streams to build
Build #79: Commit af1cd4b pushed by propensive
April 10, 2024 16:57 9m 39s main
April 10, 2024 16:57 9m 39s
Add license to build
Build #78: Commit 9aed2b6 pushed by propensive
April 8, 2024 16:14 8m 51s main
April 8, 2024 16:14 8m 51s
Simpler build
Build #77: Commit 4286056 pushed by propensive
March 18, 2024 09:26 6m 5s main
March 18, 2024 09:26 6m 5s
Merge branch 'main' of github.com:propensive/polyvinyl
Repo Admin #23: Commit 997086f pushed by propensive
February 27, 2024 21:26 50s main
February 27, 2024 21:26 50s
Merge branch 'main' of github.com:propensive/polyvinyl
Build #76: Commit 997086f pushed by propensive
February 27, 2024 21:26 5m 57s main
February 27, 2024 21:26 5m 57s
Cleaned up code
Repo Admin #22: Commit ca7f1c3 pushed by propensive
February 27, 2024 20:20 1m 2s main
February 27, 2024 20:20 1m 2s
Cleaned up code
Build #75: Commit ca7f1c3 pushed by propensive
February 27, 2024 20:20 6m 8s main
February 27, 2024 20:20 6m 8s
Merge branch 'main' of github.com:propensive/polyvinyl
Build #74: Commit b071452 pushed by propensive
February 19, 2024 19:27 5m 50s main
February 19, 2024 19:27 5m 50s