Skip to content

Actions: propensive/hellenism

Actions

Repo Admin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:propensive/hellenism
Repo Admin #63: Commit 6b6ae42 pushed by propensive
February 4, 2025 08:13 58s main
February 4, 2025 08:13 58s
Merge branch 'main' of github.com:propensive/hellenism
Repo Admin #62: Commit 0c061b4 pushed by propensive
February 2, 2025 20:17 1m 10s main
February 2, 2025 20:17 1m 10s
Merge branch 'main' of github.com:propensive/hellenism
Repo Admin #61: Commit bb68a28 pushed by propensive
January 26, 2025 12:13 57s main
January 26, 2025 12:13 57s
Removed most long lines
Repo Admin #60: Commit a540dd9 pushed by propensive
January 24, 2025 20:41 1m 4s main
January 24, 2025 20:41 1m 4s
Use safer optional values, and other enabling changes
Repo Admin #59: Commit 3264515 pushed by propensive
January 24, 2025 14:00 1m 22s main
January 24, 2025 14:00 1m 22s
Align whitespace for givens
Repo Admin #58: Commit aa08fae pushed by propensive
January 23, 2025 21:32 1m 1s main
January 23, 2025 21:32 1m 1s
Changes to whitespace in signatures
Repo Admin #57: Commit 9f23f0f pushed by propensive
January 23, 2025 19:41 1m 3s main
January 23, 2025 19:41 1m 3s
Changes for Scala 3.6
Repo Admin #56: Commit 4ae0b5c pushed by propensive
January 23, 2025 13:28 1m 10s main
January 23, 2025 13:28 1m 10s
Renamed tests file
Repo Admin #55: Commit 90b77be pushed by propensive
January 15, 2025 16:47 1m 24s main
January 15, 2025 16:47 1m 24s
Merge branch 'main' of github.com:propensive/hellenism
Repo Admin #54: Commit 3e41a48 pushed by propensive
January 2, 2025 07:24 1m 3s main
January 2, 2025 07:24 1m 3s
Merge branch 'main' of github.com:propensive/hellenism
Repo Admin #53: Commit 0a62562 pushed by propensive
January 2, 2025 07:18 1m 1s main
January 2, 2025 07:18 1m 1s
Update Tumult and regenerate
Repo Admin #52: Commit b40f5ce pushed by propensive
January 2, 2025 07:00 58s main
January 2, 2025 07:00 58s
Merge branch 'main' of github.com:propensive/hellenism
Repo Admin #51: Commit 9fe271f pushed by propensive
December 27, 2024 16:24 1m 0s main
December 27, 2024 16:24 1m 0s
Update Tumult and regenerate
Repo Admin #50: Commit 2775438 pushed by propensive
December 27, 2024 13:38 57s main
December 27, 2024 13:38 57s
Reordering of imports
Repo Admin #49: Commit 4d3c483 pushed by propensive
December 14, 2024 14:27 4m 58s main
December 14, 2024 14:27 4m 58s
Whitespace changes
Repo Admin #48: Commit 1c5fb31 pushed by propensive
December 14, 2024 07:51 55s main
December 14, 2024 07:51 55s
Update indentation style
Repo Admin #47: Commit c645047 pushed by propensive
November 11, 2024 10:30 56s main
November 11, 2024 10:30 56s
Remove unused import
Repo Admin #46: Commit c0508d0 pushed by propensive
October 30, 2024 14:05 1m 0s main
October 30, 2024 14:05 1m 0s
Use Substantiable for exists
Repo Admin #45: Commit 6a330b5 pushed by propensive
October 21, 2024 07:41 59s main
October 21, 2024 07:41 59s
Split up Navigable and Radical
Repo Admin #44: Commit fe3337e pushed by propensive
October 6, 2024 19:28 51s main
October 6, 2024 19:28 51s
Adapt to use new Serpentine
Repo Admin #43: Commit 1e4cf2e pushed by propensive
October 3, 2024 09:53 50s main
October 3, 2024 09:53 50s
Use Diagnostics for error
Repo Admin #42: Commit b06217a pushed by propensive
September 22, 2024 08:06 1m 0s main
September 22, 2024 08:06 1m 0s
Rename Jarfile to Jar
Repo Admin #41: Commit 4365348 pushed by propensive
September 14, 2024 14:05 56s main
September 14, 2024 14:05 56s
Merge branch 'main' of github.com:propensive/hellenism
Repo Admin #40: Commit 0f4e405 pushed by propensive
August 26, 2024 06:56 56s main
August 26, 2024 06:56 56s
Merge branch 'main' of github.com:propensive/hellenism
Repo Admin #39: Commit 9da4bda pushed by propensive
August 22, 2024 20:35 56s main
August 22, 2024 20:35 56s