Skip to content

Actions: propensive/polyvinyl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
Merge branch 'main' of github.com:propensive/polyvinyl
Repo Admin #21: Commit b071452 pushed by propensive
February 19, 2024 19:27 55s main
February 19, 2024 19:27 55s
Provide a Realm for fail messages
Build #73: Commit 45c2a1e pushed by propensive
February 19, 2024 19:14 6m 24s main
February 19, 2024 19:14 6m 24s
Provide a Realm for fail messages
Repo Admin #20: Commit 45c2a1e pushed by propensive
February 19, 2024 19:14 53s main
February 19, 2024 19:14 53s
Really include contributing docs
Build #72: Commit 7707bad pushed by propensive
February 1, 2024 09:18 10m 54s main
February 1, 2024 09:18 10m 54s
Really include contributing docs
Repo Admin #19: Commit 7707bad pushed by propensive
February 1, 2024 09:18 6m 12s main
February 1, 2024 09:18 6m 12s
Merge branch 'main' of github.com:propensive/polyvinyl
Build #71: Commit f9f02d4 pushed by propensive
February 1, 2024 07:16 8m 57s main
February 1, 2024 07:16 8m 57s
Remove outdated tests
Repo Admin #18: Commit 0707777 pushed by propensive
January 26, 2024 14:42 1m 8s main
January 26, 2024 14:42 1m 8s
Remove outdated tests
Build #70: Commit 0707777 pushed by propensive
January 26, 2024 14:42 6m 17s main
January 26, 2024 14:42 6m 17s
Merge branch 'main' of github.com:propensive/polyvinyl
Build #69: Commit 10a1ad4 pushed by propensive
January 26, 2024 06:17 6m 12s main
January 26, 2024 06:17 6m 12s
Use latest Tumult docs
Repo Admin #17: Commit 604ea21 pushed by propensive
January 12, 2024 09:26 1m 1s main
January 12, 2024 09:26 1m 1s
Use latest Tumult docs
Build #68: Commit 604ea21 pushed by propensive
January 12, 2024 09:26 4m 59s main
January 12, 2024 09:26 4m 59s