Skip to content
This repository was archived by the owner on Oct 15, 2025. It is now read-only.

Actions: propensive/quantitative

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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