Skip to content

Actions: propensive/aviation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
203 workflow runs
203 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:propensive/aviation
Repo Admin #57: Commit d616dc8 pushed by propensive
January 12, 2024 09:14 53s main
January 12, 2024 09:14 53s
Use Hypotenuse
Build #98: Commit 42c2f9a pushed by propensive
January 11, 2024 15:18 6m 31s main
January 11, 2024 15:18 6m 31s
Use Hypotenuse
Repo Admin #56: Commit 42c2f9a pushed by propensive
January 11, 2024 15:18 1m 5s main
January 11, 2024 15:18 1m 5s
Use all instead of forall
Build #97: Commit 8e95320 pushed by propensive
January 5, 2024 07:15 6m 17s main
January 5, 2024 07:15 6m 17s
Use all instead of forall
Repo Admin #55: Commit 8e95320 pushed by propensive
January 5, 2024 07:15 1m 4s main
January 5, 2024 07:15 1m 4s
Merge branch 'main' of github.com:propensive/aviation
Repo Admin #54: Commit 024daa3 pushed by propensive
January 1, 2024 19:13 57s main
January 1, 2024 19:13 57s
Merge branch 'main' of github.com:propensive/aviation
Build #96: Commit 024daa3 pushed by propensive
January 1, 2024 19:13 5m 53s main
January 1, 2024 19:13 5m 53s
Trigger documentation rebuild
Build #95: Commit f940714 pushed by propensive
January 1, 2024 18:19 5m 27s main
January 1, 2024 18:19 5m 27s
Trigger documentation rebuild
Repo Admin #53: Commit f940714 pushed by propensive
January 1, 2024 18:19 1m 7s main
January 1, 2024 18:19 1m 7s
Use latest Tumult
Build #94: Commit d5285e8 pushed by propensive
January 1, 2024 17:45 5m 45s main
January 1, 2024 17:45 5m 45s
Use Vacuous
Repo Admin #52: Commit ebca339 pushed by propensive
December 19, 2023 18:04 52s main
December 19, 2023 18:04 52s
Use Vacuous
Build #93: Commit ebca339 pushed by propensive
December 19, 2023 18:04 8m 22s main
December 19, 2023 18:04 8m 22s
Fix month-out-of-range error
Repo Admin #51: Commit b95e5bc pushed by propensive
December 15, 2023 19:25 52s main
December 15, 2023 19:25 52s
Fix month-out-of-range error
Build #92: Commit b95e5bc pushed by propensive
December 15, 2023 19:25 8m 2s main
December 15, 2023 19:25 8m 2s
Rename Maybe to Optional
Repo Admin #50: Commit 3a0c5e7 pushed by propensive
December 8, 2023 09:39 1m 8s main
December 8, 2023 09:39 1m 8s
Rename Maybe to Optional
Build #91: Commit 3a0c5e7 pushed by propensive
December 8, 2023 09:39 6m 38s main
December 8, 2023 09:39 6m 38s
Specify type parameter for Logs
Repo Admin #49: Commit 3ea731b pushed by propensive
November 23, 2023 16:58 48s main
November 23, 2023 16:58 48s
Specify type parameter for Logs
Build #90: Commit 3ea731b pushed by propensive
November 23, 2023 16:58 4m 54s main
November 23, 2023 16:58 4m 54s
Avoid warning
Build #89: Commit 8e9f6f5 pushed by propensive
November 22, 2023 11:11 5m 18s main
November 22, 2023 11:11 5m 18s
Avoid warning
Repo Admin #48: Commit 8e9f6f5 pushed by propensive
November 22, 2023 11:11 55s main
November 22, 2023 11:11 55s
vouch instead of avow
Repo Admin #47: Commit 2bb235f pushed by propensive
November 21, 2023 20:49 1m 8s main
November 21, 2023 20:49 1m 8s
vouch instead of avow
Build #88: Commit 2bb235f pushed by propensive
November 21, 2023 20:49 5m 1s main
November 21, 2023 20:49 5m 1s
Merge branch 'main' of github.com:propensive/aviation
Build #87: Commit d67f7f7 pushed by propensive
November 16, 2023 08:01 6m 45s main
November 16, 2023 08:01 6m 45s
Merge branch 'main' of github.com:propensive/aviation
Build #86: Commit 50b83eb pushed by propensive
November 7, 2023 21:09 6m 6s main
November 7, 2023 21:09 6m 6s
Merge branch 'main' of github.com:propensive/aviation
Repo Admin #46: Commit 50b83eb pushed by propensive
November 7, 2023 21:09 1m 7s main
November 7, 2023 21:09 1m 7s