Skip to content

Actions: propensive/kaleidoscope

Actions

Repo Admin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #107: Commit 526d103 pushed by propensive
January 26, 2025 21:45 57s main
January 26, 2025 21:45 57s
Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #106: Commit e3a75bd pushed by propensive
January 26, 2025 17:35 1m 4s main
January 26, 2025 17:35 1m 4s
Use Proscenium for stdlib imports instead of Rudiments
Repo Admin #105: Commit 0a0ab48 pushed by propensive
January 26, 2025 12:13 1m 1s main
January 26, 2025 12:13 1m 1s
Rename DummyImplicit to Void and make it erased
Repo Admin #104: Commit cdeae72 pushed by propensive
January 26, 2025 08:36 59s main
January 26, 2025 08:36 59s
Rename Matching to Scanner
Repo Admin #103: Commit 466cad2 pushed by propensive
January 26, 2025 08:05 55s main
January 26, 2025 08:05 55s
Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #102: Commit 51ce108 pushed by propensive
January 25, 2025 08:05 57s main
January 25, 2025 08:05 57s
Removed most long lines
Repo Admin #101: Commit 789118d pushed by propensive
January 24, 2025 20:41 1m 0s main
January 24, 2025 20:41 1m 0s
Renamed LazyList to Stream
Repo Admin #100: Commit 484ce45 pushed by propensive
January 24, 2025 09:53 1m 1s main
January 24, 2025 09:53 1m 1s
Eliminated long lines
Repo Admin #99: Commit 12857a5 pushed by propensive
January 23, 2025 20:29 1m 12s main
January 23, 2025 20:29 1m 12s
Changes to whitespace in signatures
Repo Admin #98: Commit 4b4663a pushed by propensive
January 23, 2025 19:42 58s main
January 23, 2025 19:42 58s
Rename to
Repo Admin #97: Commit 288816f pushed by propensive
January 23, 2025 18:41 1m 14s main
January 23, 2025 18:41 1m 14s
Started using
Repo Admin #96: Commit b617c57 pushed by propensive
January 23, 2025 13:28 58s main
January 23, 2025 13:28 58s
Renamed tests file
Repo Admin #95: Commit cb50428 pushed by propensive
January 15, 2025 17:08 58s main
January 15, 2025 17:08 58s
Work in progress
Repo Admin #94: Commit 3edf7b0 pushed by propensive
January 10, 2025 11:48 1m 8s main
January 10, 2025 11:48 1m 8s
Rough implementation of extract
Repo Admin #93: Commit d55c9a1 pushed by propensive
January 10, 2025 11:48 55s main
January 10, 2025 11:48 55s
Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #92: Commit 578dbce pushed by propensive
January 6, 2025 12:35 1m 1s main
January 6, 2025 12:35 1m 1s
Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #91: Commit 514376a pushed by propensive
January 5, 2025 12:21 1m 38s main
January 5, 2025 12:21 1m 38s
Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #90: Commit 12c884c pushed by propensive
January 5, 2025 11:47 59s main
January 5, 2025 11:47 59s
Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #89: Commit 96e676d pushed by propensive
January 5, 2025 09:44 58s main
January 5, 2025 09:44 58s
Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #88: Commit 89f4392 pushed by propensive
January 5, 2025 08:29 1m 2s main
January 5, 2025 08:29 1m 2s
Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #87: Commit 72d9284 pushed by propensive
January 2, 2025 07:25 1m 11s main
January 2, 2025 07:25 1m 11s
Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #86: Commit 984d6eb pushed by propensive
January 2, 2025 07:18 1m 1s main
January 2, 2025 07:18 1m 1s
Update Tumult and regenerate
Repo Admin #85: Commit 5af6185 pushed by propensive
January 2, 2025 07:00 1m 0s main
January 2, 2025 07:00 1m 0s
Rename abandonment to haltingly
Repo Admin #84: Commit 23d29be pushed by propensive
December 27, 2024 20:58 1m 11s main
December 27, 2024 20:58 1m 11s
Merge branch 'main' of github.com:propensive/kaleidoscope
Repo Admin #83: Commit a68c02f pushed by propensive
December 27, 2024 19:33 1m 5s main
December 27, 2024 19:33 1m 5s