Skip to content

Actions: propensive/acyclicity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Really include contributing docs Build #112: Commit 7c525a0 pushed by propensive
February 1, 2024 09:14 6m 13s main
main
February 1, 2024 09:14 6m 13s
Really include contributing docs Repo Admin #22: Commit 7c525a0 pushed by propensive
February 1, 2024 09:14 56s main
main
February 1, 2024 09:14 56s
Merge branch 'main' of github.com:propensive/acyclicity Build #111: Commit cb5d835 pushed by propensive
February 1, 2024 07:11 6m 4s main
main
February 1, 2024 07:11 6m 4s
Merge branch 'main' of github.com:propensive/acyclicity Build #110: Commit eb6d6f3 pushed by propensive
January 17, 2024 09:12 5m 47s main
main
January 17, 2024 09:12 5m 47s
Merge branch 'main' of github.com:propensive/acyclicity Repo Admin #21: Commit eb6d6f3 pushed by propensive
January 17, 2024 09:12 1m 4s main
main
January 17, 2024 09:12 1m 4s
Use latest Tumult docs Repo Admin #20: Commit 36e7732 pushed by propensive
January 12, 2024 09:13 54s main
main
January 12, 2024 09:13 54s
Use latest Tumult docs Build #109: Commit 36e7732 pushed by propensive
January 12, 2024 09:13 5m 58s main
main
January 12, 2024 09:13 5m 58s
Adopt lambda terminology for function parameters Repo Admin #19: Commit 9a99424 pushed by propensive
January 5, 2024 11:34 1m 11s main
main
January 5, 2024 11:34 1m 11s
Adopt lambda terminology for function parameters Build #108: Commit 9a99424 pushed by propensive
January 5, 2024 11:34 6m 14s main
main
January 5, 2024 11:34 6m 14s
Merge branch 'main' of github.com:propensive/acyclicity Build #107: Commit a4b8722 pushed by propensive
January 5, 2024 09:03 5m 47s main
main
January 5, 2024 09:03 5m 47s
Merge branch 'main' of github.com:propensive/acyclicity Repo Admin #18: Commit a4b8722 pushed by propensive
January 5, 2024 09:03 1m 32s main
main
January 5, 2024 09:03 1m 32s
Trigger documentation rebuild Build #106: Commit b18b3ab pushed by propensive
January 1, 2024 18:19 5m 51s main
main
January 1, 2024 18:19 5m 51s
Trigger documentation rebuild Repo Admin #17: Commit b18b3ab pushed by propensive
January 1, 2024 18:19 1m 2s main
main
January 1, 2024 18:19 1m 2s
Trigger documentation rebuild Repo Admin #16: Commit 36f29aa pushed by propensive
December 28, 2023 19:50 49s main
main
December 28, 2023 19:50 49s
Trigger documentation rebuild Build #105: Commit 36f29aa pushed by propensive
December 28, 2023 19:50 5m 19s main
main
December 28, 2023 19:50 5m 19s
Merge branch 'main' of github.com:propensive/acyclicity Build #104: Commit 9114144 pushed by propensive
December 28, 2023 19:46 6m 8s main
main
December 28, 2023 19:46 6m 8s
Fixed errors in documentation Repo Admin #15: Commit a4d77b4 pushed by propensive
December 28, 2023 17:31 49s main
main
December 28, 2023 17:31 49s
Fixed errors in documentation Build #103: Commit a4d77b4 pushed by propensive
December 28, 2023 17:31 5m 42s main
main
December 28, 2023 17:31 5m 42s
Use more meaningful type parameter names Build #102: Commit 223db2f pushed by propensive
December 7, 2023 20:13 7m 46s main
main
December 7, 2023 20:13 7m 46s
Use more meaningful type parameter names Repo Admin #14: Commit 223db2f pushed by propensive
December 7, 2023 20:13 57s main
main
December 7, 2023 20:13 57s
Update to latest Wrath version Build #101: Commit 46c92b5 pushed by propensive
November 16, 2023 08:00 6m 2s main
main
November 16, 2023 08:00 6m 2s
Use latest Tumult Build #100: Commit 6ffbb62 pushed by propensive
October 12, 2023 13:27 7m 24s main
main
October 12, 2023 13:27 7m 24s
Use latest Tumult Repo Admin #13: Commit 6ffbb62 pushed by propensive
October 12, 2023 13:27 1m 10s main
main
October 12, 2023 13:27 1m 10s
Removed obviated symbolism import Build #99: Commit bfe72e5 pushed by propensive
October 8, 2023 18:25 6m 41s main
main
October 8, 2023 18:25 6m 41s
Removed obviated symbolism import Repo Admin #12: Commit bfe72e5 pushed by propensive
October 8, 2023 18:25 1m 10s main
main
October 8, 2023 18:25 1m 10s