Skip to content

Actions: propensive/phoenicia

Actions

Repo Admin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
admin.yml
39 workflow runs
39 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 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 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 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
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
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
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
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
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
Use new APIs Repo Admin #25: Commit 9cba91a pushed by propensive
August 9, 2024 20:54 1m 11s main
main
August 9, 2024 20:54 1m 11s
Renamed readAs to read Repo Admin #24: Commit a5e9386 pushed by propensive
July 1, 2024 06:37 56s main
main
July 1, 2024 06:37 56s
Merge branch 'main' of github.com:propensive/phoenicia Repo Admin #23: Commit 5ec68c2 pushed by propensive
July 1, 2024 06:13 4m 51s main
main
July 1, 2024 06:13 4m 51s
Split up source files Repo Admin #22: Commit d1f87da pushed by propensive
June 30, 2024 10:03 57s main
main
June 30, 2024 10:03 57s
Merge branch 'main' of github.com:propensive/phoenicia Repo Admin #21: Commit 813794d pushed by propensive
June 30, 2024 09:06 1m 8s main
main
June 30, 2024 09:06 1m 8s
Rename I16 etc to S16 Repo Admin #20: Commit ee5f317 pushed by propensive
June 20, 2024 11:43 59s main
main
June 20, 2024 11:43 59s
Merge branch 'main' of github.com:propensive/phoenicia Repo Admin #19: Commit 0cb30dc pushed by propensive
June 18, 2024 09:42 59s main
main
June 18, 2024 09:42 59s
Get everything compiling again Repo Admin #18: Commit 8cfb781 pushed by propensive
June 15, 2024 10:03 51s main
main
June 15, 2024 10:03 51s
Use Extractor Repo Admin #17: Commit ad3c01b pushed by propensive
March 18, 2024 18:55 1m 9s main
main
March 18, 2024 18:55 1m 9s
Don't use Options so much Repo Admin #16: Commit d657356 pushed by propensive
March 18, 2024 18:08 1m 6s main
main
March 18, 2024 18:08 1m 6s
Merge branch 'main' of github.com:propensive/phoenicia Repo Admin #15: Commit 5bccb79 pushed by propensive
February 27, 2024 21:26 1m 0s main
main
February 27, 2024 21:26 1m 0s