Skip to content

Actions: propensive/polyvinyl

Actions

Repo Admin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
admin.yml
24 workflow runs
24 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #11: Commit a4f31fd pushed by propensive
July 5, 2023 07:40 1m 13s main
main
July 5, 2023 07:40 1m 13s
Change params type to a List Repo Admin #10: Commit 3c0d38e pushed by propensive
July 4, 2023 06:15 1m 12s main
main
July 4, 2023 06:15 1m 12s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #9: Commit 31dca9f pushed by propensive
July 3, 2023 18:53 1m 26s main
main
July 3, 2023 18:53 1m 26s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #8: Commit 81161aa pushed by propensive
June 29, 2023 15:29 2m 34s main
main
June 29, 2023 15:29 2m 34s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #7: Commit 1c9b77c pushed by propensive
June 25, 2023 19:15 1m 26s main
main
June 25, 2023 19:15 1m 26s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #6: Commit 7c6524a pushed by propensive
June 23, 2023 12:23 1m 26s main
main
June 23, 2023 12:23 1m 26s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #5: Commit 1697b93 pushed by propensive
June 23, 2023 11:06 1m 23s main
main
June 23, 2023 11:06 1m 23s
Merge branch 'main' of github.com:propensive/polyvinyl Repo Admin #4: Commit 6366020 pushed by propensive
June 21, 2023 19:26 1m 16s main
main
June 21, 2023 19:26 1m 16s
Run tests; some cleanup of code Repo Admin #3: Commit d3c9a60 pushed by propensive
June 15, 2023 18:10 1m 27s main
main
June 15, 2023 18:10 1m 27s
Clean up code Repo Admin #2: Commit 77dd7df pushed by propensive
May 17, 2023 05:56 2m 25s main
main
May 17, 2023 05:56 2m 25s