Skip to content

Actions: propensive/phoenicia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Proscenium for stdlib imports instead of Rudiments Repo Admin #39: Commit 96fb49f pushed by propensive
January 26, 2025 12:14 1m 4s main
main
January 26, 2025 12:14 1m 4s
Changes to whitespace in signatures Repo Admin #38: Commit 3bf3553 pushed by propensive
January 23, 2025 19:42 1m 10s main
main
January 23, 2025 19:42 1m 10s
Merge next branch into main Build #44: Commit afa0725 pushed by propensive
January 23, 2025 11:20 1m 5s main
main
January 23, 2025 11:20 1m 5s
Merge next branch into main Repo Admin #37: Commit afa0725 pushed by propensive
January 23, 2025 11:20 58s main
main
January 23, 2025 11:20 58s
Merge branch 'main' of github.com:propensive/phoenicia Repo Admin #36: Commit 2d3d3b3 pushed by propensive
January 22, 2025 10:55 56s main
main
January 22, 2025 10:55 56s
Merge branch 'main' of github.com:propensive/phoenicia Build #43: Commit 2d3d3b3 pushed by propensive
January 22, 2025 10:55 40s main
main
January 22, 2025 10:55 40s
Merge branch 'main' of github.com:propensive/phoenicia Build #42: Commit 5a19445 pushed by propensive
January 2, 2025 07:26 1m 0s main
main
January 2, 2025 07:26 1m 0s
Merge branch 'main' of github.com:propensive/phoenicia Repo Admin #35: Commit 5a19445 pushed by propensive
January 2, 2025 07:26 53s main
main
January 2, 2025 07:26 53s
Merge branch 'main' of github.com:propensive/phoenicia Build #41: Commit 5134255 pushed by propensive
January 2, 2025 07:19 59s main
main
January 2, 2025 07:19 59s
Merge branch 'main' of github.com:propensive/phoenicia Repo Admin #34: Commit 5134255 pushed by propensive
January 2, 2025 07:19 58s main
main
January 2, 2025 07:19 58s
Merge branch 'main' of github.com:propensive/phoenicia Repo Admin #33: Commit 98ff714 pushed by propensive
January 2, 2025 07:01 1m 12s main
main
January 2, 2025 07:01 1m 12s
Merge branch 'main' of github.com:propensive/phoenicia Build #40: Commit 98ff714 pushed by propensive
January 2, 2025 07:01 40s main
main
January 2, 2025 07:01 40s
Update Tumult and regenerate Build #39: Commit 00d5643 pushed by propensive
December 27, 2024 13:39 1m 7s main
main
December 27, 2024 13:39 1m 7s
Update Tumult and regenerate Repo Admin #32: Commit 00d5643 pushed by propensive
December 27, 2024 13:39 52s main
main
December 27, 2024 13:39 52s
Reordering of imports Repo Admin #31: Commit b6a79c3 pushed by propensive
December 14, 2024 14:28 6m 9s main
main
December 14, 2024 14:28 6m 9s
Reordering of imports Build #38: Commit b6a79c3 pushed by propensive
December 14, 2024 14:28 10m 31s main
main
December 14, 2024 14:28 10m 31s
Whitespace changes Repo Admin #30: Commit 3136051 pushed by propensive
December 14, 2024 07:51 4m 41s main
main
December 14, 2024 07:51 4m 41s
Whitespace changes Build #37: Commit 3136051 pushed by propensive
December 14, 2024 07:51 9m 28s main
main
December 14, 2024 07:51 9m 28s
Use lest where appropriate Repo Admin #29: Commit 1edd4ed pushed by propensive
November 21, 2024 08:48 55s main
main
November 21, 2024 08:48 55s
Use lest where appropriate Build #36: Commit 1edd4ed pushed by propensive
November 21, 2024 08:48 5m 41s main
main
November 21, 2024 08:48 5m 41s
Update indentation style Repo Admin #28: Commit c61f4dc pushed by propensive
November 11, 2024 10:31 5m 17s main
main
November 11, 2024 10:31 5m 17s
Update indentation style Build #35: Commit c61f4dc pushed by propensive
November 11, 2024 10:31 10m 2s main
main
November 11, 2024 10:31 10m 2s
Soundness exports Build #34: Commit acb7993 pushed by propensive
October 3, 2024 15:52 5m 44s main
main
October 3, 2024 15:52 5m 44s
Soundness exports Repo Admin #27: Commit acb7993 pushed by propensive
October 3, 2024 15:52 58s main
main
October 3, 2024 15:52 58s
Fix compile errors after API changes Repo Admin #26: Commit 79b5b89 pushed by propensive
September 24, 2024 04:35 1m 10s main
main
September 24, 2024 04:35 1m 10s