Skip to content

Actions: propensive/turbulence

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use generalized generic/specific instants
Repo Admin #194: Commit b2c2f03 pushed by propensive
February 1, 2025 15:59 1m 3s main
February 1, 2025 15:59 1m 3s
Use Proscenium for stdlib imports instead of Rudiments
Repo Admin #193: Commit 690258b pushed by propensive
January 26, 2025 12:15 1m 9s main
January 26, 2025 12:15 1m 9s
Rename DummyImplicit to Void and make it erased
Repo Admin #192: Commit f2f7a4b pushed by propensive
January 26, 2025 08:36 1m 10s main
January 26, 2025 08:36 1m 10s
Turn off problematic capture checking
Repo Admin #191: Commit 85beb15 pushed by propensive
January 25, 2025 18:55 57s main
January 25, 2025 18:55 57s
Removed all remaining long lines
Repo Admin #190: Commit 842651c pushed by propensive
January 25, 2025 14:50 1m 48s main
January 25, 2025 14:50 1m 48s
Removed most long lines
Repo Admin #189: Commit 1ff8203 pushed by propensive
January 24, 2025 20:43 57s main
January 24, 2025 20:43 57s
Renamed LazyList to Stream
Repo Admin #188: Commit 5504599 pushed by propensive
January 24, 2025 09:54 1m 8s main
January 24, 2025 09:54 1m 8s
Align whitespace for givens
Repo Admin #187: Commit 7ac6dea pushed by propensive
January 23, 2025 21:33 57s main
January 23, 2025 21:33 57s
Eliminated long lines
Repo Admin #186: Commit e5ce24f pushed by propensive
January 23, 2025 20:30 1m 2s main
January 23, 2025 20:30 1m 2s
Changes to whitespace in signatures
Repo Admin #185: Commit 30ca275 pushed by propensive
January 23, 2025 19:43 58s main
January 23, 2025 19:43 58s
Use stream terminology for LazyLists
Build #318: Commit e7e9512 pushed by propensive
January 23, 2025 11:39 1m 7s main
January 23, 2025 11:39 1m 7s
Use stream terminology for LazyLists
Repo Admin #184: Commit e7e9512 pushed by propensive
January 23, 2025 11:39 1m 12s main
January 23, 2025 11:39 1m 12s
Merge branch 'main' of github.com:propensive/turbulence
Repo Admin #183: Commit 1fc38af pushed by propensive
January 17, 2025 20:58 1m 2s main
January 17, 2025 20:58 1m 2s
Merge branch 'main' of github.com:propensive/turbulence
Build #317: Commit 1fc38af pushed by propensive
January 17, 2025 20:58 48s main
January 17, 2025 20:58 48s
Rename tests file
Repo Admin #182: Commit cef8602 pushed by propensive
January 15, 2025 16:34 1m 0s main
January 15, 2025 16:34 1m 0s
Rename tests file
Build #316: Commit cef8602 pushed by propensive
January 15, 2025 16:34 38s main
January 15, 2025 16:34 38s
Merge branch 'main' of github.com:propensive/turbulence
Build #315: Commit 603b27c pushed by propensive
January 6, 2025 13:53 42s main
January 6, 2025 13:53 42s
Merge branch 'main' of github.com:propensive/turbulence
Repo Admin #181: Commit 603b27c pushed by propensive
January 6, 2025 13:53 1m 12s main
January 6, 2025 13:53 1m 12s
Merge branch 'main' of github.com:propensive/turbulence
Repo Admin #180: Commit 6ba9057 pushed by propensive
January 2, 2025 07:27 1m 12s main
January 2, 2025 07:27 1m 12s
Merge branch 'main' of github.com:propensive/turbulence
Build #314: Commit 6ba9057 pushed by propensive
January 2, 2025 07:27 38s main
January 2, 2025 07:27 38s
Merge branch 'main' of github.com:propensive/turbulence
Repo Admin #179: Commit 62899d5 pushed by propensive
January 2, 2025 07:20 53s main
January 2, 2025 07:20 53s
Merge branch 'main' of github.com:propensive/turbulence
Build #313: Commit 62899d5 pushed by propensive
January 2, 2025 07:20 37s main
January 2, 2025 07:20 37s
Update Tumult and regenerate
Build #312: Commit edce69e pushed by propensive
January 2, 2025 07:02 1m 8s main
January 2, 2025 07:02 1m 8s
Update Tumult and regenerate
Repo Admin #178: Commit edce69e pushed by propensive
January 2, 2025 07:02 58s main
January 2, 2025 07:02 58s
Merge branch 'main' of github.com:propensive/turbulence
Build #311: Commit 6aa6d51 pushed by propensive
December 27, 2024 21:19 45s main
December 27, 2024 21:19 45s