Skip to content

Actions: propensive/digression

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96 workflow runs
96 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:propensive/digression
Build #67: Commit 76c4612 pushed by propensive
February 1, 2024 07:13 6m 15s main
February 1, 2024 07:13 6m 15s
Make tests compile
Repo Admin #28: Commit 71fabca pushed by propensive
January 26, 2024 06:29 59s main
January 26, 2024 06:29 59s
Make tests compile
Build #66: Commit 71fabca pushed by propensive
January 26, 2024 06:29 5m 59s main
January 26, 2024 06:29 5m 59s
Reinstated test
Build #65: Commit 829162e pushed by propensive
January 26, 2024 06:24 6m 11s main
January 26, 2024 06:24 6m 11s
Merge branch 'main' of github.com:propensive/digression
Build #64: Commit 6eb24a9 pushed by propensive
January 14, 2024 19:17 5m 6s main
January 14, 2024 19:17 5m 6s
Use latest Tumult docs
Repo Admin #27: Commit fd06a7d pushed by propensive
January 12, 2024 09:18 1m 3s main
January 12, 2024 09:18 1m 3s
Use latest Tumult docs
Build #63: Commit fd06a7d pushed by propensive
January 12, 2024 09:18 6m 4s main
January 12, 2024 09:18 6m 4s
Merge branch 'main' of github.com:propensive/digression
Repo Admin #26: Commit 1fb408a pushed by propensive
January 5, 2024 06:52 59s main
January 5, 2024 06:52 59s
Merge branch 'main' of github.com:propensive/digression
Build #62: Commit 1fb408a pushed by propensive
January 5, 2024 06:52 5m 30s main
January 5, 2024 06:52 5m 30s
Trigger documentation rebuild
Build #61: Commit a342dad pushed by propensive
January 1, 2024 18:19 5m 43s main
January 1, 2024 18:19 5m 43s
Trigger documentation rebuild
Repo Admin #25: Commit a342dad pushed by propensive
January 1, 2024 18:19 1m 15s main
January 1, 2024 18:19 1m 15s
Use latest Tumult
Build #60: Commit 0994c9d pushed by propensive
January 1, 2024 17:45 5m 11s main
January 1, 2024 17:45 5m 11s
Rename maybe
Build #59: Commit 887df9b pushed by propensive
December 23, 2023 12:37 5m 43s main
December 23, 2023 12:37 5m 43s
Rename maybe
Repo Admin #24: Commit 887df9b pushed by propensive
December 23, 2023 12:37 50s main
December 23, 2023 12:37 50s
Use Vacuous
Build #58: Commit 69b5e8c pushed by propensive
December 19, 2023 17:49 5m 52s main
December 19, 2023 17:49 5m 52s
Use Vacuous
Repo Admin #23: Commit 69b5e8c pushed by propensive
December 19, 2023 17:49 53s main
December 19, 2023 17:49 53s
Rename Maybe to Optional
Repo Admin #22: Commit bed3033 pushed by propensive
December 8, 2023 09:40 57s main
December 8, 2023 09:40 57s
Rename Maybe to Optional
Build #57: Commit bed3033 pushed by propensive
December 8, 2023 09:40 5m 19s main
December 8, 2023 09:40 5m 19s
Merge branch 'main' of github.com:propensive/digression
Build #56: Commit 4f69a13 pushed by propensive
November 16, 2023 08:02 5m 26s main
November 16, 2023 08:02 5m 26s
Merge branch 'main' of github.com:propensive/digression
Build #55: Commit cafb4f6 pushed by propensive
October 14, 2023 08:19 8m 5s main
October 14, 2023 08:19 8m 5s
Merge branch 'main' of github.com:propensive/digression
Repo Admin #21: Commit cafb4f6 pushed by propensive
October 14, 2023 08:19 1m 38s main
October 14, 2023 08:19 1m 38s
Improve logo
Build #54: Commit b706015 pushed by propensive
October 14, 2023 08:18 7m 38s main
October 14, 2023 08:18 7m 38s
Improve logo
Repo Admin #20: Commit b706015 pushed by propensive
October 14, 2023 08:18 1m 3s main
October 14, 2023 08:18 1m 3s
Use latest Tumult
Build #53: Commit dd21640 pushed by propensive
October 12, 2023 13:33 7m 18s main
October 12, 2023 13:33 7m 18s
Finished rename of sb to buffer
Repo Admin #19: Commit 812eb31 pushed by propensive
September 17, 2023 17:37 1m 8s main
September 17, 2023 17:37 1m 8s