Skip to content

Actions: propensive/quantitative

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix remaining tests Repo Admin #184: Commit af26f51 pushed by propensive
January 30, 2025 20:48 1m 3s main
main
January 30, 2025 20:48 1m 3s
Take advantage of ability to embed TermReprs in Messages Repo Admin #183: Commit 6d3bcf7 pushed by propensive
January 29, 2025 09:11 1m 9s main
main
January 29, 2025 09:11 1m 9s
Merge branch 'main' of github.com:propensive/quantitative Repo Admin #182: Commit d8254ba pushed by propensive
January 28, 2025 12:00 59s main
main
January 28, 2025 12:00 59s
Use Proscenium for stdlib imports instead of Rudiments Repo Admin #181: Commit 3862490 pushed by propensive
January 26, 2025 12:14 1m 18s main
main
January 26, 2025 12:14 1m 18s
No longer need to use Basic typeclass implementations from Symbolism Repo Admin #180: Commit 23228d9 pushed by propensive
January 25, 2025 18:54 59s main
main
January 25, 2025 18:54 59s
Eliminate more warnings Repo Admin #179: Commit 4a35d05 pushed by propensive
January 25, 2025 18:30 57s main
main
January 25, 2025 18:30 57s
Align whitespace for givens Repo Admin #178: Commit 3947215 pushed by propensive
January 23, 2025 21:33 1m 8s main
main
January 23, 2025 21:33 1m 8s
Changes to whitespace in signatures Repo Admin #177: Commit 707d083 pushed by propensive
January 23, 2025 19:42 59s main
main
January 23, 2025 19:42 59s
Rename to Repo Admin #176: Commit fa44cb6 pushed by propensive
January 23, 2025 18:42 59s main
main
January 23, 2025 18:42 59s
Replaced remaining with Repo Admin #175: Commit 107a742 pushed by propensive
January 23, 2025 17:48 1m 42s main
main
January 23, 2025 17:48 1m 42s
Started using Build #239: Commit 348a5e2 pushed by propensive
January 23, 2025 13:29 40s main
main
January 23, 2025 13:29 40s
Started using Repo Admin #174: Commit 348a5e2 pushed by propensive
January 23, 2025 13:29 1m 1s main
main
January 23, 2025 13:29 1m 1s
Avoid last remaining warning Build #238: Commit 08c1c24 pushed by propensive
January 18, 2025 13:30 1m 0s main
main
January 18, 2025 13:30 1m 0s
Avoid last remaining warning Repo Admin #173: Commit 08c1c24 pushed by propensive
January 18, 2025 13:30 1m 11s main
main
January 18, 2025 13:30 1m 11s
Merge branch 'main' of github.com:propensive/quantitative Repo Admin #172: Commit d6361de pushed by propensive
January 18, 2025 13:27 1m 12s main
main
January 18, 2025 13:27 1m 12s
Merge branch 'main' of github.com:propensive/quantitative Build #237: Commit d6361de pushed by propensive
January 18, 2025 13:27 48s main
main
January 18, 2025 13:27 48s
Rename tests file Build #236: Commit 41409b2 pushed by propensive
January 14, 2025 18:45 46s main
main
January 14, 2025 18:45 46s
Rename tests file Repo Admin #171: Commit 41409b2 pushed by propensive
January 14, 2025 18:45 1m 4s main
main
January 14, 2025 18:45 1m 4s
Update pom.xml to version 0.26.0 Build #235: Commit ccdff32 pushed by propensive
January 9, 2025 14:47 1m 2s main
main
January 9, 2025 14:47 1m 2s
Merge branch 'main' of github.com:propensive/quantitative Build #234: Commit 6112ea6 pushed by propensive
January 9, 2025 09:50 38s main
main
January 9, 2025 09:50 38s
Update Tumult and regenerate Repo Admin #170: Commit d60186f pushed by propensive
January 2, 2025 07:26 1m 2s main
main
January 2, 2025 07:26 1m 2s
Update Tumult and regenerate Build #233: Commit d60186f pushed by propensive
January 2, 2025 07:26 1m 0s main
main
January 2, 2025 07:26 1m 0s
Merge branch 'main' of github.com:propensive/quantitative Build #232: Commit 0054357 pushed by propensive
January 2, 2025 07:26 38s main
main
January 2, 2025 07:26 38s
Merge branch 'main' of github.com:propensive/quantitative Repo Admin #169: Commit 0054357 pushed by propensive
January 2, 2025 07:26 1m 8s main
main
January 2, 2025 07:26 1m 8s
Update Tumult and regenerate Repo Admin #168: Commit b6434d6 pushed by propensive
January 2, 2025 07:19 1m 0s main
main
January 2, 2025 07:19 1m 0s