Skip to content

Actions: propensive/wisteria

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
252 workflow runs
252 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make stack traces optional Repo Admin #103: Commit 344625f pushed by propensive
September 20, 2024 19:46 55s main
main
September 20, 2024 19:46 55s
Make stack traces optional Build #222: Commit 344625f pushed by propensive
September 20, 2024 19:46 5m 58s main
main
September 20, 2024 19:46 5m 58s
Update pom.xml to version 0.15.0 Build #221: Commit 7f7cb32 pushed by propensive
August 27, 2024 10:51 9m 6s main
main
August 27, 2024 10:51 9m 6s
Update to most recent Tumult Build #220: Commit d3ae840 pushed by propensive
August 26, 2024 19:52 12m 22s main
main
August 26, 2024 19:52 12m 22s
Update build.sbt to latest Scala and Soundness dependencies Build #219: Commit f53de7a pushed by propensive
August 23, 2024 17:23 5m 54s main
main
August 23, 2024 17:23 5m 54s
Update pom.xml to version 0.14.0 Build #218: Commit b88b190 pushed by propensive
August 23, 2024 17:02 5m 36s main
main
August 23, 2024 17:02 5m 36s
Rename wisteria.scala Repo Admin #102: Commit 8e44fb7 pushed by propensive
August 23, 2024 11:16 1m 2s main
main
August 23, 2024 11:16 1m 2s
Rename wisteria.scala Build #217: Commit 8e44fb7 pushed by propensive
August 23, 2024 11:16 5m 48s main
main
August 23, 2024 11:16 5m 48s
Rename soundness+wisteria.scala Repo Admin #101: Commit dca5cdb pushed by propensive
August 23, 2024 11:15 1m 6s main
main
August 23, 2024 11:15 1m 6s
Rename soundness+wisteria.scala Build #216: Commit dca5cdb pushed by propensive
August 23, 2024 11:15 5m 31s main
main
August 23, 2024 11:15 5m 31s
Update pom.xml to version 0.13.0 Build #215: Commit dd5827f pushed by propensive
August 23, 2024 10:51 5m 33s main
main
August 23, 2024 10:51 5m 33s
Merge branch 'main' of github.com:propensive/wisteria Build #214: Commit fffc145 pushed by propensive
August 22, 2024 09:44 5m 26s main
main
August 22, 2024 09:44 5m 26s
Merge branch 'main' of github.com:propensive/wisteria Repo Admin #100: Commit a9d20a7 pushed by propensive
August 19, 2024 13:32 1m 6s main
main
August 19, 2024 13:32 1m 6s
Merge branch 'main' of github.com:propensive/wisteria Build #213: Commit a9d20a7 pushed by propensive
August 19, 2024 13:32 5m 54s main
main
August 19, 2024 13:32 5m 54s
Add full Eq example Repo Admin #99: Commit 0125d9f pushed by propensive
August 19, 2024 13:22 1m 23s main
main
August 19, 2024 13:22 1m 23s
Add full Eq example Build #212: Commit 0125d9f pushed by propensive
August 19, 2024 13:22 5m 56s main
main
August 19, 2024 13:22 5m 56s
Version 0.12.0 Build #211: Commit 2f1abec pushed by propensive
August 15, 2024 12:57 5m 27s main
main
August 15, 2024 12:57 5m 27s
Updated published version Build #210: Commit 2bb5ac3 pushed by propensive
August 8, 2024 08:12 5m 27s main
main
August 8, 2024 08:12 5m 27s
Merge branch 'main' of github.com:propensive/wisteria Build #209: Commit 76f8b38 pushed by propensive
August 7, 2024 10:40 5m 23s main
main
August 7, 2024 10:40 5m 23s
Merge branch 'main' of github.com:propensive/wisteria Build #208: Commit 8fa3d0b pushed by propensive
July 24, 2024 05:35 5m 12s main
main
July 24, 2024 05:35 5m 12s
Merge branch 'main' of github.com:propensive/wisteria Repo Admin #98: Commit 8fa3d0b pushed by propensive
July 24, 2024 05:35 50s main
main
July 24, 2024 05:35 50s
Merge branch 'main' of github.com:propensive/wisteria Build #207: Commit ae72138 pushed by propensive
July 23, 2024 19:51 5m 20s main
main
July 23, 2024 19:51 5m 20s
Merge branch 'main' of github.com:propensive/wisteria Repo Admin #97: Commit ae72138 pushed by propensive
July 23, 2024 19:51 55s main
main
July 23, 2024 19:51 55s
Merge branch 'main' of github.com:propensive/wisteria Build #206: Commit 6a0d021 pushed by propensive
July 22, 2024 05:28 5m 37s main
main
July 22, 2024 05:28 5m 37s
Merge branch 'main' of github.com:propensive/wisteria Repo Admin #96: Commit 6a0d021 pushed by propensive
July 22, 2024 05:28 54s main
main
July 22, 2024 05:28 54s