Skip to content

Actions: propensive/cataclysm

Actions

Repo Admin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:propensive/cataclysm
Repo Admin #67: Commit 438fdbb pushed by propensive
February 4, 2025 08:13 1m 40s main
February 4, 2025 08:13 1m 40s
Further progress on generalizing generalizations
Repo Admin #66: Commit c4c6a19 pushed by propensive
February 2, 2025 20:17 1m 5s main
February 2, 2025 20:17 1m 5s
Don't export sec because it conflicts with Denominative
Repo Admin #65: Commit 05cdca1 pushed by propensive
January 28, 2025 22:16 54s main
January 28, 2025 22:16 54s
Use Proscenium for stdlib imports instead of Rudiments
Repo Admin #64: Commit b26db1e pushed by propensive
January 26, 2025 12:11 1m 2s main
January 26, 2025 12:11 1m 2s
Merge branch 'main' of github.com:propensive/cataclysm
Repo Admin #63: Commit 8e91102 pushed by propensive
January 24, 2025 20:39 1m 13s main
January 24, 2025 20:39 1m 13s
Removed more long lines
Repo Admin #62: Commit c687ac1 pushed by propensive
January 24, 2025 17:01 1m 15s main
January 24, 2025 17:01 1m 15s
Renamed LazyList to Stream
Repo Admin #61: Commit 42afa78 pushed by propensive
January 24, 2025 09:52 1m 0s main
January 24, 2025 09:52 1m 0s
Merge branch 'main' of github.com:propensive/cataclysm
Repo Admin #60: Commit 3689d56 pushed by propensive
January 23, 2025 21:31 1m 12s main
January 23, 2025 21:31 1m 12s
Eliminated long lines
Repo Admin #59: Commit 9bf801b pushed by propensive
January 23, 2025 20:28 1m 14s main
January 23, 2025 20:28 1m 14s
Changes to whitespace in signatures
Repo Admin #58: Commit 80f68df pushed by propensive
January 23, 2025 19:40 57s main
January 23, 2025 19:40 57s
Rename to
Repo Admin #57: Commit 42a502f pushed by propensive
January 23, 2025 18:39 59s main
January 23, 2025 18:39 59s
Started using
Repo Admin #56: Commit 7bf78f3 pushed by propensive
January 23, 2025 12:43 1m 10s main
January 23, 2025 12:43 1m 10s
Updates for Scala 3.6
Repo Admin #55: Commit 8be3ad7 pushed by propensive
January 23, 2025 11:19 59s main
January 23, 2025 11:19 59s
Merge branch 'main' of github.com:propensive/cataclysm
Repo Admin #54: Commit f0b2b92 pushed by propensive
January 22, 2025 11:35 1m 6s main
January 22, 2025 11:35 1m 6s
Merge branch 'main' of github.com:propensive/cataclysm
Repo Admin #53: Commit fa29632 pushed by propensive
January 22, 2025 11:29 57s main
January 22, 2025 11:29 57s
Merge branch 'main' of github.com:propensive/cataclysm
Repo Admin #52: Commit e3216ea pushed by propensive
January 2, 2025 07:23 1m 12s main
January 2, 2025 07:23 1m 12s
Merge branch 'main' of github.com:propensive/cataclysm
Repo Admin #51: Commit 5ec9177 pushed by propensive
January 2, 2025 07:16 52s main
January 2, 2025 07:16 52s
Update Tumult and regenerate
Repo Admin #50: Commit c3609a2 pushed by propensive
January 2, 2025 06:58 1m 9s main
January 2, 2025 06:58 1m 9s
Merge branch 'main' of github.com:propensive/cataclysm
Repo Admin #49: Commit 68f5ad9 pushed by propensive
December 27, 2024 19:34 1m 0s main
December 27, 2024 19:34 1m 0s
Update Tumult and regenerate
Repo Admin #48: Commit 55c9b39 pushed by propensive
December 27, 2024 13:35 1m 5s main
December 27, 2024 13:35 1m 5s
Fully-qualify annotation import
Repo Admin #47: Commit c79dcc9 pushed by propensive
December 14, 2024 14:39 1m 10s main
December 14, 2024 14:39 1m 10s
Reordering of imports
Repo Admin #46: Commit 91d4421 pushed by propensive
December 14, 2024 14:26 53s main
December 14, 2024 14:26 53s
Whitespace changes
Repo Admin #45: Commit 84ebc06 pushed by propensive
December 14, 2024 07:50 1m 2s main
December 14, 2024 07:50 1m 2s
Update indentation style
Repo Admin #44: Commit c30e351 pushed by propensive
November 11, 2024 10:29 52s main
November 11, 2024 10:29 52s
Disable some functionality relating to Paths, which have changed
Repo Admin #43: Commit eabe930 pushed by propensive
October 3, 2024 09:03 1m 14s main
October 3, 2024 09:03 1m 14s