Skip to content

Actions: propensive/rudiments

Actions

Repo Admin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
admin.yml
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make has and at take inline parameters Repo Admin #217: Commit 2ba49fe pushed by propensive
September 16, 2024 14:18 1m 10s main
main
September 16, 2024 14:18 1m 10s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #216: Commit 14287cf pushed by propensive
August 29, 2024 06:20 1m 5s main
main
August 29, 2024 06:20 1m 5s
Rename ere to yet and make it infix Repo Admin #215: Commit 6a3cf6e pushed by propensive
August 28, 2024 15:53 1m 0s main
main
August 28, 2024 15:53 1m 0s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #214: Commit 93907cb pushed by propensive
August 22, 2024 20:35 1m 5s main
main
August 22, 2024 20:35 1m 5s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #213: Commit 347a9f9 pushed by propensive
August 22, 2024 10:14 1m 6s main
main
August 22, 2024 10:14 1m 6s
Add ere Repo Admin #212: Commit 97e0f8e pushed by propensive
August 22, 2024 08:28 54s main
main
August 22, 2024 08:28 54s
Don't export where Repo Admin #211: Commit 04e5a62 pushed by propensive
August 21, 2024 20:09 1m 6s main
main
August 21, 2024 20:09 1m 6s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #210: Commit e14a1c1 pushed by propensive
August 15, 2024 05:22 54s main
main
August 15, 2024 05:22 54s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #209: Commit d84fd1b pushed by propensive
August 9, 2024 20:57 48s main
main
August 9, 2024 20:57 48s
Merge branch 'main' of github.com:propensive/rudiments Repo Admin #208: Commit b082e88 pushed by propensive
August 9, 2024 20:47 1m 8s main
main
August 9, 2024 20:47 1m 8s
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
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
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
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
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 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 Repo Admin #201: Commit 88021c7 pushed by propensive
June 20, 2024 05:37 1m 3s main
main
June 20, 2024 05:37 1m 3s
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
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
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
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 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 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
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