Skip to content

Actions: propensive/cosmopolite

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update pom.xml to version 0.26.0 Build #94: Commit 5bd6730 pushed by propensive
January 9, 2025 14:45 1m 11s main
main
January 9, 2025 14:45 1m 11s
Merge branch 'main' of github.com:propensive/cosmopolite Build #93: Commit 7363555 pushed by propensive
January 9, 2025 09:48 1m 7s main
main
January 9, 2025 09:48 1m 7s
Merge branch 'main' of github.com:propensive/cosmopolite Build #92: Commit 7fbe883 pushed by propensive
January 2, 2025 07:23 57s main
main
January 2, 2025 07:23 57s
Merge branch 'main' of github.com:propensive/cosmopolite Build #91: Commit 8a99687 pushed by propensive
January 2, 2025 07:16 1m 0s main
main
January 2, 2025 07:16 1m 0s
Update Tumult and regenerate Build #90: Commit 9e90861 pushed by propensive
January 2, 2025 06:58 44s main
main
January 2, 2025 06:58 44s
Merge branch 'main' of github.com:propensive/cosmopolite Build #89: Commit 92c5e25 pushed by propensive
December 27, 2024 21:12 38s main
main
December 27, 2024 21:12 38s
Update Tumult and regenerate Build #88: Commit d9fdfc4 pushed by propensive
December 27, 2024 13:35 59s main
main
December 27, 2024 13:35 59s
Rename speaks to via Build #87: Commit 768d5c6 pushed by propensive
December 16, 2024 14:56 1m 4s main
main
December 16, 2024 14:56 1m 4s
Update pom.xml to version 0.23.0 Build #86: Commit ea48353 pushed by propensive
December 12, 2024 09:29 5m 29s main
main
December 12, 2024 09:29 5m 29s
Add POM file Build #85: Commit d13b758 pushed by propensive
December 12, 2024 08:47 5m 36s main
main
December 12, 2024 08:47 5m 36s
Switch from \ to | for alternate languages Build #84: Commit 02134c2 pushed by propensive
December 8, 2024 11:30 5m 34s main
main
December 8, 2024 11:30 5m 34s
Remember to export speaks Build #83: Commit 7197f43 pushed by propensive
December 4, 2024 08:22 5m 41s main
main
December 4, 2024 08:22 5m 41s
Soundness exports Build #82: Commit 2d860dc pushed by propensive
December 3, 2024 06:01 5m 49s main
main
December 3, 2024 06:01 5m 49s
Merge branch 'main' of github.com:propensive/cosmopolite Build #81: Commit ca9cf97 pushed by propensive
December 3, 2024 05:59 5m 54s main
main
December 3, 2024 05:59 5m 54s
Update indentation style Build #80: Commit db76e48 pushed by propensive
November 11, 2024 10:29 5m 47s main
main
November 11, 2024 10:29 5m 47s
Merge branch 'main' of github.com:propensive/cosmopolite Build #79: Commit 61c1d0f pushed by propensive
August 26, 2024 19:48 5m 29s main
main
August 26, 2024 19:48 5m 29s
Renamed msg"" to m"" Build #78: Commit 52145d6 pushed by propensive
July 1, 2024 06:11 4m 52s main
main
July 1, 2024 06:11 4m 52s
Further tweaks to indentation style on signatures Build #77: Commit 51d94b8 pushed by propensive
February 27, 2024 09:57 5m 49s main
main
February 27, 2024 09:57 5m 49s
Slight code cleanup Build #76: Commit 0e06d9b pushed by propensive
February 27, 2024 08:52 5m 56s main
main
February 27, 2024 08:52 5m 56s
Really include contributing docs Build #75: Commit 310bb06 pushed by propensive
February 1, 2024 09:15 5m 49s main
main
February 1, 2024 09:15 5m 49s
Merge branch 'main' of github.com:propensive/cosmopolite Build #74: Commit c3a838b pushed by propensive
February 1, 2024 07:12 6m 8s main
main
February 1, 2024 07:12 6m 8s
Merge branch 'main' of github.com:propensive/cosmopolite Build #73: Commit 8faaf33 pushed by propensive
January 26, 2024 08:29 6m 3s main
main
January 26, 2024 08:29 6m 3s
Merge branch 'main' of github.com:propensive/cosmopolite Build #72: Commit 5a0817a pushed by propensive
January 12, 2024 09:18 5m 52s main
main
January 12, 2024 09:18 5m 52s
Remove examples again Build #71: Commit 7943188 pushed by propensive
January 5, 2024 12:24 6m 1s main
main
January 5, 2024 12:24 6m 1s
Merge branch 'main' of github.com:propensive/cosmopolite Build #70: Commit f5b80a5 pushed by propensive
January 5, 2024 12:24 5m 48s main
main
January 5, 2024 12:24 5m 48s