Skip to content

Actions: propensive/polyvinyl

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
36 workflow runs
36 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
main
June 21, 2024 05:45 5m 4s
Rename sources; export to soundness and reorder imports Build #82: Commit 999d104 pushed by propensive
June 7, 2024 06:08 4m 40s main
main
June 7, 2024 06:08 4m 40s
Updated documentation Build #81: Commit e470f06 pushed by propensive
April 29, 2024 19:32 9m 59s main
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
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
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
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
main
March 18, 2024 09:26 6m 5s
Merge branch 'main' of github.com:propensive/polyvinyl Build #76: Commit 997086f pushed by propensive
February 27, 2024 21:26 5m 57s main
main
February 27, 2024 21:26 5m 57s
Cleaned up code Build #75: Commit ca7f1c3 pushed by propensive
February 27, 2024 20:20 6m 8s main
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
main
February 19, 2024 19:27 5m 50s
Provide a Realm for fail messages Build #73: Commit 45c2a1e pushed by propensive
February 19, 2024 19:14 6m 24s main
main
February 19, 2024 19:14 6m 24s
Really include contributing docs Build #72: Commit 7707bad pushed by propensive
February 1, 2024 09:18 10m 54s main
main
February 1, 2024 09:18 10m 54s
Merge branch 'main' of github.com:propensive/polyvinyl Build #71: Commit f9f02d4 pushed by propensive
February 1, 2024 07:16 8m 57s main
main
February 1, 2024 07:16 8m 57s
Remove outdated tests Build #70: Commit 0707777 pushed by propensive
January 26, 2024 14:42 6m 17s main
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
main
January 26, 2024 06:17 6m 12s
Use latest Tumult docs Build #68: Commit 604ea21 pushed by propensive
January 12, 2024 09:26 4m 59s main
main
January 12, 2024 09:26 4m 59s
Merge branch 'main' of github.com:propensive/polyvinyl Build #67: Commit 4725908 pushed by propensive
January 5, 2024 12:21 5m 7s main
main
January 5, 2024 12:21 5m 7s
Trigger documentation rebuild Build #66: Commit bbb4293 pushed by propensive
January 1, 2024 18:21 10m 27s main
main
January 1, 2024 18:21 10m 27s
Use latest Tumult Build #65: Commit 8327c88 pushed by propensive
January 1, 2024 17:46 9m 1s main
main
January 1, 2024 17:46 9m 1s
Update to latest Wrath version Build #64: Commit 10727f2 pushed by propensive
November 16, 2023 08:05 7m 41s main
main
November 16, 2023 08:05 7m 41s
Updated logo Build #63: Commit 97e8f36 pushed by propensive
October 16, 2023 08:45 6m 45s main
main
October 16, 2023 08:45 6m 45s
Use latest Tumult Build #62: Commit f1d12bb pushed by propensive
October 12, 2023 13:36 11m 24s main
main
October 12, 2023 13:36 11m 24s
Add logo description Build #61: Commit 0147e85 pushed by propensive
October 12, 2023 12:28 7m 11s main
main
October 12, 2023 12:28 7m 11s
Use Fulminate Build #60: Commit 04c823c pushed by propensive
August 3, 2023 20:14 6m 31s main
main
August 3, 2023 20:14 6m 31s
Merge branch 'main' of github.com:propensive/polyvinyl Build #59: Commit a4f31fd pushed by propensive
July 5, 2023 07:40 8m 46s main
main
July 5, 2023 07:40 8m 46s