Skip to content

Actions: propensive/guillotine

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:propensive/guillotine
Repo Admin #90: Commit 89a4228 pushed by propensive
June 30, 2024 10:46 49s main
June 30, 2024 10:46 49s
Merge branch 'main' of github.com:propensive/guillotine
Build #191: Commit 89a4228 pushed by propensive
June 30, 2024 10:46 4m 43s main
June 30, 2024 10:46 4m 43s
Merge branch 'main' of github.com:propensive/guillotine
Repo Admin #89: Commit f712cc1 pushed by propensive
June 21, 2024 05:35 59s main
June 21, 2024 05:35 59s
Merge branch 'main' of github.com:propensive/guillotine
Build #190: Commit f712cc1 pushed by propensive
June 21, 2024 05:35 5m 24s main
June 21, 2024 05:35 5m 24s
Merge branch 'main' of github.com:propensive/guillotine
Build #189: Commit 6fa54c0 pushed by propensive
June 14, 2024 18:52 5m 11s main
June 14, 2024 18:52 5m 11s
Merge branch 'main' of github.com:propensive/guillotine
Repo Admin #88: Commit 6fa54c0 pushed by propensive
June 14, 2024 18:52 1m 10s main
June 14, 2024 18:52 1m 10s
Merge branch 'main' of github.com:propensive/guillotine
Repo Admin #87: Commit 9fe448a pushed by propensive
June 12, 2024 13:07 1m 44s main
June 12, 2024 13:07 1m 44s
Merge branch 'main' of github.com:propensive/guillotine
Build #188: Commit 9fe448a pushed by propensive
June 12, 2024 13:07 4m 56s main
June 12, 2024 13:07 4m 56s
Merge branch 'main' of github.com:propensive/guillotine
Build #187: Commit b0e48fd pushed by propensive
June 12, 2024 10:15 4m 37s main
June 12, 2024 10:15 4m 37s
Merge branch 'main' of github.com:propensive/guillotine
Repo Admin #86: Commit b0e48fd pushed by propensive
June 12, 2024 10:15 2m 14s main
June 12, 2024 10:15 2m 14s
Rewrite givens in new style
Build #186: Commit 9538dc5 pushed by propensive
June 12, 2024 09:59 4m 54s main
June 12, 2024 09:59 4m 54s
Rewrite givens in new style
Repo Admin #85: Commit 9538dc5 pushed by propensive
June 12, 2024 09:59 1m 14s main
June 12, 2024 09:59 1m 14s
Update version numbers
Build #185: Commit 3a14273 pushed by propensive
June 11, 2024 20:36 12m 23s main
June 11, 2024 20:36 12m 23s
New style of writing Appendable/Writable types
Build #184: Commit cb5733b pushed by propensive
June 11, 2024 09:25 4m 45s main
June 11, 2024 09:25 4m 45s
New style of writing Appendable/Writable types
Repo Admin #84: Commit cb5733b pushed by propensive
June 11, 2024 09:25 4m 26s main
June 11, 2024 09:25 4m 26s
Don't do code coverage
Build #183: Commit 46bc7ba pushed by propensive
June 7, 2024 19:16 4m 42s main
June 7, 2024 19:16 4m 42s
Merge branch 'main' of github.com:propensive/guillotine
Build #182: Commit 9575d45 pushed by propensive
June 5, 2024 12:21 4m 36s main
June 5, 2024 12:21 4m 36s
Merge branch 'main' of github.com:propensive/guillotine
Repo Admin #83: Commit 20d30a0 pushed by propensive
June 5, 2024 10:06 54s main
June 5, 2024 10:06 54s
Merge branch 'main' of github.com:propensive/guillotine
Build #181: Commit 20d30a0 pushed by propensive
June 5, 2024 10:06 5m 6s main
June 5, 2024 10:06 5m 6s
Merge branch 'main' of github.com:propensive/guillotine
Build #180: Commit d3924d8 pushed by propensive
June 3, 2024 14:02 4m 50s main
June 3, 2024 14:02 4m 50s
Merge branch 'main' of github.com:propensive/guillotine
Repo Admin #82: Commit d3924d8 pushed by propensive
June 3, 2024 14:02 1m 45s main
June 3, 2024 14:02 1m 45s
Don't depend on Eucalyptus, and provide soundness exports
Build #179: Commit 8d34af1 pushed by propensive
June 3, 2024 08:00 4m 57s main
June 3, 2024 08:00 4m 57s
Don't depend on Eucalyptus, and provide soundness exports
Repo Admin #81: Commit 8d34af1 pushed by propensive
June 3, 2024 08:00 58s main
June 3, 2024 08:00 58s
Updated for Scala 3.5.1-RC1
Build #178: Commit 4574e20 pushed by propensive
June 3, 2024 07:46 4m 31s main
June 3, 2024 07:46 4m 31s
Updated for Scala 3.5.1-RC1
Repo Admin #80: Commit 4574e20 pushed by propensive
June 3, 2024 07:46 1m 0s main
June 3, 2024 07:46 1m 0s