Skip to content

Actions: propensive/rudiments

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
426 workflow runs
426 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:propensive/rudiments Build #436: Commit b082e88 pushed by propensive
August 9, 2024 20:47 5m 38s main
main
August 9, 2024 20:47 5m 38s
Generic at method for all Indexable things Repo Admin #207: Commit de09924 pushed by propensive
August 9, 2024 20:20 57s main
main
August 9, 2024 20:20 57s
Generic at method for all Indexable things Build #435: Commit de09924 pushed by propensive
August 9, 2024 20:20 5m 26s main
main
August 9, 2024 20:20 5m 26s
Updated published version Build #434: Commit 4fd9537 pushed by propensive
August 8, 2024 08:12 5m 19s main
main
August 8, 2024 08:12 5m 19s
Merge branch 'main' of github.com:propensive/rudiments Build #433: Commit fe60f62 pushed by propensive
August 7, 2024 10:40 5m 30s main
main
August 7, 2024 10:40 5m 30s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #206: Commit 1f64471 pushed by propensive
August 7, 2024 10:00 58s main
main
August 7, 2024 10:00 58s
Merge branch 'main' of github.com:propensive/rudiments Build #432: Commit 1f64471 pushed by propensive
August 7, 2024 10:00 5m 15s main
main
August 7, 2024 10:00 5m 15s
Remember to export prim, sec and ter Build #431: Commit ab8313c pushed by propensive
July 19, 2024 14:37 5m 37s main
main
July 19, 2024 14:37 5m 37s
Remember to export prim, sec and ter Repo Admin #205: Commit ab8313c pushed by propensive
July 19, 2024 14:37 1m 10s main
main
July 19, 2024 14:37 1m 10s
Update version numbers again Build #430: Commit f5782a8 pushed by propensive
July 17, 2024 06:10 5m 31s main
main
July 17, 2024 06:10 5m 31s
Update version numbers Build #429: Commit e729f6e pushed by propensive
July 17, 2024 05:20 5m 4s main
main
July 17, 2024 05:20 5m 4s
Update version Build #428: Commit de82f4e pushed by propensive
July 12, 2024 10:26 4m 46s main
main
July 12, 2024 10:26 4m 46s
Update to version 0.4.0 Build #427: Commit 15f5b20 pushed by propensive
July 8, 2024 20:01 5m 21s main
main
July 8, 2024 20:01 5m 21s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #204: Commit 37e1427 pushed by propensive
July 5, 2024 19:47 59s main
main
July 5, 2024 19:47 59s
Merge branch 'main' of github.com:propensive/rudiments Build #426: Commit 37e1427 pushed by propensive
July 5, 2024 19:47 4m 48s main
main
July 5, 2024 19:47 4m 48s
Make it possible to terminate from an ExitStatus Build #425: Commit 6d3b1f0 pushed by propensive
July 2, 2024 18:45 4m 54s main
main
July 2, 2024 18:45 4m 54s
Make it possible to terminate from an ExitStatus Repo Admin #203: Commit 6d3b1f0 pushed by propensive
July 2, 2024 18:45 52s main
main
July 2, 2024 18:45 52s
Merge branch 'main' of github.com:propensive/rudiments Build #424: Commit b233945 pushed by propensive
July 1, 2024 06:13 8m 39s main
main
July 1, 2024 06:13 8m 39s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #202: Commit b233945 pushed by propensive
July 1, 2024 06:13 4m 53s main
main
July 1, 2024 06:13 4m 53s
Some reorganization Build #423: Commit 88021c7 pushed by propensive
June 20, 2024 05:37 5m 4s main
main
June 20, 2024 05:37 5m 4s
Some reorganization Repo Admin #201: Commit 88021c7 pushed by propensive
June 20, 2024 05:37 1m 3s main
main
June 20, 2024 05:37 1m 3s
Import codec module from Anticipation Build #422: Commit 98bb4f6 pushed by propensive
June 14, 2024 19:19 5m 14s main
main
June 14, 2024 19:19 5m 14s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #200: Commit 438cd0f pushed by propensive
June 14, 2024 19:18 1m 6s main
main
June 14, 2024 19:18 1m 6s
Merge branch 'main' of github.com:propensive/rudiments Build #421: Commit 438cd0f pushed by propensive
June 14, 2024 19:18 5m 20s main
main
June 14, 2024 19:18 5m 20s
Change to Symbolism typeclass style Repo Admin #199: Commit f669b2c pushed by propensive
June 14, 2024 18:43 56s main
main
June 14, 2024 18:43 56s