Skip to content

Actions: propensive/acyclicity

Actions

Repo Admin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Diagnostics in error construction
Repo Admin #33: Commit 81be32d pushed by propensive
September 19, 2024 19:15 55s main
September 19, 2024 19:15 55s
Formatting, mostly
Repo Admin #32: Commit cdfe74d pushed by propensive
August 27, 2024 06:18 1m 47s main
August 27, 2024 06:18 1m 47s
Renamed msg"" to m""
Repo Admin #31: Commit 62c6cb1 pushed by propensive
July 1, 2024 06:11 58s main
July 1, 2024 06:11 58s
Rename package source file
Repo Admin #30: Commit db682af pushed by propensive
June 22, 2024 12:21 1m 18s main
June 22, 2024 12:21 1m 18s
Use Scala 3-5-style Showable typeclass instead of Show
Repo Admin #29: Commit d69e39a pushed by propensive
June 12, 2024 13:06 1m 53s main
June 12, 2024 13:06 1m 53s
Merge branch 'main' of github.com:propensive/acyclicity
Repo Admin #28: Commit 17dc180 pushed by propensive
June 8, 2024 20:10 1m 23s main
June 8, 2024 20:10 1m 23s
Organized source files and imports
Repo Admin #27: Commit 116b0da pushed by propensive
June 8, 2024 20:08 48s main
June 8, 2024 20:08 48s
Merge branch 'main' of github.com:propensive/acyclicity
Repo Admin #26: Commit 80f9c4b pushed by propensive
March 24, 2024 18:34 53s main
March 24, 2024 18:34 53s
Make it possible to check if a Dag contains a value
Repo Admin #25: Commit 18db50d pushed by propensive
March 21, 2024 15:41 1m 1s main
March 21, 2024 15:41 1m 1s
Merge branch 'main' of github.com:propensive/acyclicity
Repo Admin #24: Commit 68e4bb7 pushed by propensive
February 23, 2024 08:45 56s main
February 23, 2024 08:45 56s
Probably improved performance of reachable
Repo Admin #23: Commit 635cf7e pushed by propensive
February 14, 2024 16:13 1m 6s main
February 14, 2024 16:13 1m 6s
Really include contributing docs
Repo Admin #22: Commit 7c525a0 pushed by propensive
February 1, 2024 09:14 56s main
February 1, 2024 09:14 56s
Merge branch 'main' of github.com:propensive/acyclicity
Repo Admin #21: Commit eb6d6f3 pushed by propensive
January 17, 2024 09:12 1m 4s 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
January 12, 2024 09:13 54s
Adopt lambda terminology for function parameters
Repo Admin #19: Commit 9a99424 pushed by propensive
January 5, 2024 11:34 1m 11s main
January 5, 2024 11:34 1m 11s
Merge branch 'main' of github.com:propensive/acyclicity
Repo Admin #18: Commit a4b8722 pushed by propensive
January 5, 2024 09:03 1m 32s main
January 5, 2024 09:03 1m 32s
Trigger documentation rebuild
Repo Admin #17: Commit b18b3ab pushed by propensive
January 1, 2024 18:19 1m 2s 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
December 28, 2023 19:50 49s
Fixed errors in documentation
Repo Admin #15: Commit a4d77b4 pushed by propensive
December 28, 2023 17:31 49s main
December 28, 2023 17:31 49s
Use more meaningful type parameter names
Repo Admin #14: Commit 223db2f pushed by propensive
December 7, 2023 20:13 57s main
December 7, 2023 20:13 57s
Use latest Tumult
Repo Admin #13: Commit 6ffbb62 pushed by propensive
October 12, 2023 13:27 1m 10s main
October 12, 2023 13:27 1m 10s
Removed obviated symbolism import
Repo Admin #12: Commit bfe72e5 pushed by propensive
October 8, 2023 18:25 1m 10s main
October 8, 2023 18:25 1m 10s
Merge branch 'main' of github.com:propensive/acyclicity
Repo Admin #11: Commit f4ef378 pushed by propensive
August 8, 2023 14:58 1m 17s main
August 8, 2023 14:58 1m 17s
Merge branch 'main' of github.com:propensive/acyclicity
Repo Admin #10: Commit e482d55 pushed by propensive
August 3, 2023 20:12 1m 22s main
August 3, 2023 20:12 1m 22s
Merge branch 'main' of github.com:propensive/acyclicity
Repo Admin #9: Commit 89be6f0 pushed by propensive
July 24, 2023 09:13 1m 34s main
July 24, 2023 09:13 1m 34s