Skip to content

Actions: propensive/polyvinyl

Actions

Repo Admin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
admin.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update indentation style Repo Admin #29: Commit 49606ce pushed by propensive
November 11, 2024 10:31 5m 23s main
main
November 11, 2024 10:31 5m 23s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #28: Commit 5eb3127 pushed by propensive
August 23, 2024 09:18 1m 13s main
main
August 23, 2024 09:18 1m 13s
Use Prepositional for infix types Repo Admin #27: Commit ef1a898 pushed by propensive
August 22, 2024 20:35 53s main
main
August 22, 2024 20:35 53s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #26: Commit aa5e54c pushed by propensive
July 1, 2024 06:13 1m 25s main
main
July 1, 2024 06:13 1m 25s
New style typeclasses Repo Admin #25: Commit 709ff98 pushed by propensive
June 21, 2024 05:45 55s main
main
June 21, 2024 05:45 55s
Rename sources; export to soundness and reorder imports Repo Admin #24: Commit 999d104 pushed by propensive
June 7, 2024 06:08 58s main
main
June 7, 2024 06:08 58s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #23: Commit 997086f pushed by propensive
February 27, 2024 21:26 50s main
main
February 27, 2024 21:26 50s
Cleaned up code Repo Admin #22: Commit ca7f1c3 pushed by propensive
February 27, 2024 20:20 1m 2s main
main
February 27, 2024 20:20 1m 2s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #21: Commit b071452 pushed by propensive
February 19, 2024 19:27 55s main
main
February 19, 2024 19:27 55s
Provide a Realm for fail messages Repo Admin #20: Commit 45c2a1e pushed by propensive
February 19, 2024 19:14 53s main
main
February 19, 2024 19:14 53s
Really include contributing docs Repo Admin #19: Commit 7707bad pushed by propensive
February 1, 2024 09:18 6m 12s main
main
February 1, 2024 09:18 6m 12s
Remove outdated tests Repo Admin #18: Commit 0707777 pushed by propensive
January 26, 2024 14:42 1m 8s main
main
January 26, 2024 14:42 1m 8s
Use latest Tumult docs Repo Admin #17: Commit 604ea21 pushed by propensive
January 12, 2024 09:26 1m 1s main
main
January 12, 2024 09:26 1m 1s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #16: Commit 4725908 pushed by propensive
January 5, 2024 12:21 1m 10s main
main
January 5, 2024 12:21 1m 10s
Trigger documentation rebuild Repo Admin #15: Commit bbb4293 pushed by propensive
January 1, 2024 18:21 6m 1s main
main
January 1, 2024 18:21 6m 1s
Updated logo Repo Admin #14: Commit 97e8f36 pushed by propensive
October 16, 2023 08:45 55s main
main
October 16, 2023 08:45 55s
Add logo description Repo Admin #13: Commit 0147e85 pushed by propensive
October 12, 2023 12:28 54s main
main
October 12, 2023 12:28 54s
Use Fulminate Repo Admin #12: Commit 04c823c pushed by propensive
August 3, 2023 20:14 59s main
main
August 3, 2023 20:14 59s