Skip to content

Actions: propensive/rudiments

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
366 workflow runs
366 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Change to Symbolism typeclass style Build #420: Commit f669b2c pushed by propensive
June 14, 2024 18:43 5m 10s main
main
June 14, 2024 18:43 5m 10s
Renamed rudiments.scala to rudiments-core.scala Build #419: Commit 3f9a7a3 pushed by propensive
June 12, 2024 18:42 5m 2s main
main
June 12, 2024 18:42 5m 2s
Renamed rudiments.scala to rudiments-core.scala Repo Admin #198: Commit 3f9a7a3 pushed by propensive
June 12, 2024 18:42 53s main
main
June 12, 2024 18:42 53s
Updated version numbers in POM file Build #418: Commit de0c834 pushed by propensive
June 11, 2024 20:19 4m 43s main
main
June 11, 2024 20:19 4m 43s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #197: Commit 5ba99ff pushed by propensive
June 9, 2024 08:58 51s main
main
June 9, 2024 08:58 51s
Merge branch 'main' of github.com:propensive/rudiments Build #417: Commit 5ba99ff pushed by propensive
June 9, 2024 08:58 4m 47s main
main
June 9, 2024 08:58 4m 47s
Merge branch 'main' of github.com:propensive/rudiments Build #416: Commit 4958902 pushed by propensive
June 9, 2024 08:20 4m 58s main
main
June 9, 2024 08:20 4m 58s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #196: Commit 4958902 pushed by propensive
June 9, 2024 08:20 2m 6s main
main
June 9, 2024 08:20 2m 6s
Merge branch 'main' of github.com:propensive/rudiments Build #415: Commit ae6594b pushed by propensive
June 6, 2024 10:29 4m 52s main
main
June 6, 2024 10:29 4m 52s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #195: Commit ae6594b pushed by propensive
June 6, 2024 10:29 1m 44s main
main
June 6, 2024 10:29 1m 44s
Build tweaks Repo Admin #194: Commit 84fc893 pushed by propensive
June 5, 2024 10:07 50s main
main
June 5, 2024 10:07 50s
Build tweaks Build #414: Commit 84fc893 pushed by propensive
June 5, 2024 10:07 4m 51s main
main
June 5, 2024 10:07 4m 51s
Updated POM versions Build #413: Commit fb81639 pushed by propensive
June 5, 2024 07:36 4m 27s main
main
June 5, 2024 07:36 4m 27s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #193: Commit c40f6c3 pushed by propensive
June 4, 2024 09:44 1m 17s main
main
June 4, 2024 09:44 1m 17s
Merge branch 'main' of github.com:propensive/rudiments Build #412: Commit c40f6c3 pushed by propensive
June 4, 2024 09:44 4m 51s main
main
June 4, 2024 09:44 4m 51s
Added the concept of "binding" Repo Admin #192: Commit a84b395 pushed by propensive
June 4, 2024 09:25 52s main
main
June 4, 2024 09:25 52s
Added the concept of "binding" Build #411: Commit a84b395 pushed by propensive
June 4, 2024 09:25 4m 34s main
main
June 4, 2024 09:25 4m 34s
Upgrade Tumult Build #410: Commit a6d67fc pushed by propensive
May 13, 2024 10:42 5m 9s main
main
May 13, 2024 10:42 5m 9s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #191: Commit 056456f pushed by propensive
May 13, 2024 10:38 1m 6s main
main
May 13, 2024 10:38 1m 6s
Merge branch 'main' of github.com:propensive/rudiments Build #409: Commit 056456f pushed by propensive
May 13, 2024 10:38 5m 8s main
main
May 13, 2024 10:38 5m 8s
Add soundness exports Repo Admin #190: Commit 4e792d8 pushed by propensive
May 13, 2024 05:39 49s main
main
May 13, 2024 05:39 49s
Add soundness exports Build #408: Commit 4e792d8 pushed by propensive
May 13, 2024 05:39 5m 9s main
main
May 13, 2024 05:39 5m 9s
Merge branch 'main' of github.com:propensive/rudiments Build #407: Commit cba3e61 pushed by propensive
May 11, 2024 08:28 5m 11s main
main
May 11, 2024 08:28 5m 11s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #189: Commit cba3e61 pushed by propensive
May 11, 2024 08:28 54s main
main
May 11, 2024 08:28 54s