Skip to content

Actions: propensive/hypotenuse

Actions

Repo Admin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
admin.yml
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #77: Commit b7526c3 pushed by propensive
January 2, 2025 07:25 1m 3s main
main
January 2, 2025 07:25 1m 3s
Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #76: Commit 3a6826f pushed by propensive
January 2, 2025 07:18 1m 0s main
main
January 2, 2025 07:18 1m 0s
Update Tumult and regenerate Repo Admin #75: Commit 48fd5f9 pushed by propensive
January 2, 2025 07:00 1m 0s main
main
January 2, 2025 07:00 1m 0s
Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #74: Commit 212d757 pushed by propensive
December 27, 2024 19:35 1m 12s main
main
December 27, 2024 19:35 1m 12s
Update Tumult and regenerate Repo Admin #73: Commit 6cd69b6 pushed by propensive
December 27, 2024 13:38 56s main
main
December 27, 2024 13:38 56s
Reordering of imports Repo Admin #72: Commit d2ea1ef pushed by propensive
December 14, 2024 14:27 5m 5s main
main
December 14, 2024 14:27 5m 5s
Rename ByteSize to Memory Repo Admin #71: Commit a13bd67 pushed by propensive
November 29, 2024 07:58 1m 0s main
main
November 29, 2024 07:58 1m 0s
Update indentation style Repo Admin #70: Commit 619a19b pushed by propensive
November 11, 2024 10:30 4m 29s main
main
November 11, 2024 10:30 4m 29s
Don't export e for Euler's number; call it euler instead Repo Admin #69: Commit fb81f47 pushed by propensive
October 4, 2024 22:09 57s main
main
October 4, 2024 22:09 57s
Make stack traces optional Repo Admin #68: Commit 6047265 pushed by propensive
September 20, 2024 19:49 1m 1s main
main
September 20, 2024 19:49 1m 1s
Use Prepositional for infix types Repo Admin #67: Commit ec7f51b pushed by propensive
August 22, 2024 20:37 1m 2s main
main
August 22, 2024 20:37 1m 2s
Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #66: Commit 9799f55 pushed by propensive
August 15, 2024 12:47 1m 17s main
main
August 15, 2024 12:47 1m 17s
Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #65: Commit 5e55d30 pushed by propensive
August 15, 2024 05:21 55s main
main
August 15, 2024 05:21 55s
Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #64: Commit 9c51507 pushed by propensive
August 14, 2024 12:50 57s main
main
August 14, 2024 12:50 57s
Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #63: Commit 2f55c55 pushed by propensive
August 14, 2024 10:58 1m 6s main
main
August 14, 2024 10:58 1m 6s
Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #62: Commit a40a924 pushed by propensive
August 14, 2024 10:53 1m 8s main
main
August 14, 2024 10:53 1m 8s
Progress, with reversion Repo Admin #61: Commit 87dac74 pushed by propensive
August 14, 2024 10:18 1m 6s main
main
August 14, 2024 10:18 1m 6s
Repo Admin Repo Admin #60: by propensive
July 5, 2024 19:38 1m 32s main
main
July 5, 2024 19:38 1m 32s
Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #59: Commit c6c62c0 pushed by propensive
July 1, 2024 06:12 1m 43s main
main
July 1, 2024 06:12 1m 43s
Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #58: Commit f1802f3 pushed by propensive
June 30, 2024 07:45 50s main
main
June 30, 2024 07:45 50s
Include gcd method for all types Repo Admin #57: Commit 80c89bc pushed by propensive
June 27, 2024 08:10 1m 13s main
main
June 27, 2024 08:10 1m 13s
Rename Inequality to Orderable Repo Admin #56: Commit ea0053b pushed by propensive
June 22, 2024 12:17 56s main
main
June 22, 2024 12:17 56s
Renamed I types to S types Repo Admin #55: Commit 217565c pushed by propensive
June 20, 2024 11:40 1m 27s main
main
June 20, 2024 11:40 1m 27s
Merge branch 'main' of github.com:propensive/hypotenuse Repo Admin #54: Commit bc45bda pushed by propensive
June 14, 2024 04:34 50s main
main
June 14, 2024 04:34 50s
Avoid trailing with style Repo Admin #53: Commit d7ce398 pushed by propensive
June 12, 2024 11:59 2m 20s main
main
June 12, 2024 11:59 2m 20s