Skip to content

Actions: propensive/rudiments

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
137 workflow runs
137 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge in changes since first attempt at subtrees Repo Admin #274: Commit b69f647 pushed by propensive
February 11, 2025 23:50 57s main
main
February 11, 2025 23:50 57s
Apply automatic changes Repo Admin #273: Commit b45ceba pushed by propensive
February 11, 2025 07:24 1m 12s main
main
February 11, 2025 07:24 1m 12s
Migrate from submodules to subtrees (#132) Repo Admin #272: Commit a2eee74 pushed by propensive
February 11, 2025 06:58 2m 44s main
main
February 11, 2025 06:58 2m 44s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #271: Commit 8f5526d pushed by propensive
February 10, 2025 12:35 1m 12s main
main
February 10, 2025 12:35 1m 12s
Export alternative directory sources to soundness Repo Admin #270: Commit b6aac6f pushed by propensive
February 6, 2025 07:33 55s main
main
February 6, 2025 07:33 55s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #269: Commit a9ccc2f pushed by propensive
February 6, 2025 07:32 53s main
main
February 6, 2025 07:32 53s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #268: Commit 3ea22c2 pushed by propensive
February 6, 2025 07:13 1m 11s main
main
February 6, 2025 07:13 1m 11s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #267: Commit e980066 pushed by propensive
February 6, 2025 06:53 53s main
main
February 6, 2025 06:53 53s
Move Functor and Cofunctor to Mercator Repo Admin #266: Commit 4cbc8dd pushed by propensive
February 5, 2025 19:44 1m 1s main
main
February 5, 2025 19:44 1m 1s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #265: Commit dfb4850 pushed by propensive
February 4, 2025 20:48 57s main
main
February 4, 2025 20:48 57s
Remove unused generic typeclass Repo Admin #264: Commit d95a8dc pushed by propensive
February 4, 2025 17:37 1m 1s main
main
February 4, 2025 17:37 1m 1s
Generalize over HTTP streams and refactor postable typeclass Repo Admin #263: Commit 759fc68 pushed by propensive
February 4, 2025 08:13 1m 19s main
main
February 4, 2025 08:13 1m 19s
Correct defines -> defined at source Repo Admin #262: Commit f59635d pushed by propensive
February 3, 2025 05:36 50s main
main
February 3, 2025 05:36 50s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #261: Commit d48e10e pushed by propensive
February 2, 2025 20:17 1m 2s main
main
February 2, 2025 20:17 1m 2s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #260: Commit 396500e pushed by propensive
January 26, 2025 12:14 56s main
main
January 26, 2025 12:14 56s
Rename DummyImplicit to Void and make it erased Repo Admin #259: Commit bb0853f pushed by propensive
January 26, 2025 08:37 1m 4s main
main
January 26, 2025 08:37 1m 4s
Eliminate more warnings Repo Admin #258: Commit dd7b212 pushed by propensive
January 25, 2025 18:29 1m 2s main
main
January 25, 2025 18:29 1m 2s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #257: Commit d90caa2 pushed by propensive
January 25, 2025 14:50 1m 2s main
main
January 25, 2025 14:50 1m 2s
Removed most long lines Repo Admin #256: Commit 4eea8bd pushed by propensive
January 24, 2025 20:42 56s main
main
January 24, 2025 20:42 56s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #255: Commit f12e386 pushed by propensive
January 24, 2025 14:02 1m 36s main
main
January 24, 2025 14:02 1m 36s
Renamed LazyList to Stream Repo Admin #254: Commit b294cdf pushed by propensive
January 24, 2025 09:54 58s main
main
January 24, 2025 09:54 58s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #253: Commit f766b9b pushed by propensive
January 23, 2025 21:33 1m 2s main
main
January 23, 2025 21:33 1m 2s
Eliminated long lines Repo Admin #252: Commit 77dbe90 pushed by propensive
January 23, 2025 20:30 1m 13s main
main
January 23, 2025 20:30 1m 13s
Rename to Repo Admin #251: Commit e3ac063 pushed by propensive
January 23, 2025 18:42 59s main
main
January 23, 2025 18:42 59s
Started using Repo Admin #250: Commit 91f64b3 pushed by propensive
January 23, 2025 12:48 1m 1s main
main
January 23, 2025 12:48 1m 1s