Skip to content

Actions: oeb25/smtlib-rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change formatting of negative numbers from -x to (- x) to be SMTL… CI #29: Commit 787a671 pushed by oeb25
September 12, 2024 08:26 9m 44s main
main
September 12, 2024 08:26 9m 44s
Change formatting of negative numbers from -x to (- x) to be SMTL… Release-plz #7: Commit 787a671 pushed by oeb25
September 12, 2024 08:26 39m 29s main
main
September 12, 2024 08:26 39m 29s
Fix doc tests Release-plz #6: Commit 2bd13db pushed by oeb25
July 31, 2024 12:35 39m 22s main
main
July 31, 2024 12:35 39m 22s
Fix doc tests CI #28: Commit 2bd13db pushed by oeb25
July 31, 2024 12:35 10m 1s main
main
July 31, 2024 12:35 10m 1s
Add user defined functions and sorts and refactor term sorts CI #27: Commit 7a75c69 pushed by oeb25
July 31, 2024 12:23 10m 12s main
main
July 31, 2024 12:23 10m 12s
Add user defined functions and sorts and refactor term sorts Release-plz #5: Commit 7a75c69 pushed by oeb25
July 31, 2024 12:23 39m 7s main
main
July 31, 2024 12:23 39m 7s
chore: release CI #26: Commit 7217e5a pushed by oeb25
May 2, 2024 15:34 1m 43s main
main
May 2, 2024 15:34 1m 43s
chore: release Release-plz #4: Commit 7217e5a pushed by oeb25
May 2, 2024 15:34 1m 4s main
main
May 2, 2024 15:34 1m 4s
ci: Add .release-plz.toml CI #25: Commit 6552d4d pushed by oeb25
May 2, 2024 14:40 1m 30s main
main
May 2, 2024 14:40 1m 30s
ci: Add .release-plz.toml Release-plz #3: Commit 6552d4d pushed by oeb25
May 2, 2024 14:40 38m 12s main
main
May 2, 2024 14:40 38m 12s
ci: Add .release-plz.toml CI #24: Commit 1518e0f pushed by oeb25
May 2, 2024 13:44 10m 32s main
main
May 2, 2024 13:44 10m 32s
ci: Add .release-plz.toml Release-plz #2: Commit 1518e0f pushed by oeb25
May 2, 2024 13:44 38m 27s main
main
May 2, 2024 13:44 38m 27s
ci: Add release-plz action Release-plz #1: Commit 8adf8f4 pushed by oeb25
May 2, 2024 13:25 44m 19s main
main
May 2, 2024 13:25 44m 19s
ci: Add release-plz action CI #23: Commit 8adf8f4 pushed by oeb25
May 2, 2024 13:25 10m 0s main
main
May 2, 2024 13:25 10m 0s
breaking: Remove Async{Driver,Solver} in favor of `Tokio{Driver,Sol… CI #22: Commit f9c03b4 pushed by oeb25
May 2, 2024 12:46 10m 16s main
main
May 2, 2024 12:46 10m 16s
chore: Skip formatting generated files CI #21: Commit cf86260 pushed by oeb25
December 29, 2023 11:02 10m 6s main
main
December 29, 2023 11:02 10m 6s
chore: Update Justfile CI #20: Commit 0ae52df pushed by oeb25
December 29, 2023 10:59 10m 3s main
main
December 29, 2023 10:59 10m 3s
ci: Add git cliff config CI #19: Commit 5be891c pushed by oeb25
December 29, 2023 10:56 10m 34s main
main
December 29, 2023 10:56 10m 34s
BREAKING CHANGE: Remove async-trait crate and async, z3, cvc5… CI #18: Commit cd50afd pushed by oeb25
December 28, 2023 18:48 10m 56s main
main
December 28, 2023 18:48 10m 56s
Remove async-trait crate and async, z3, cvc5 features CI #17: Pull request #5 synchronize by oeb25
December 28, 2023 18:45 10m 37s remove-async-trait-and-async-z3-cvc5-features
remove-async-trait-and-async-z3-cvc5-features
December 28, 2023 18:45 10m 37s
BREAKING CHANGE: Remove async-trait crate and async, z3, cvc5… CI #16: Commit b3625d8 pushed by oeb25
December 28, 2023 18:45 10m 47s remove-async-trait-and-async-z3-cvc5-features
remove-async-trait-and-async-z3-cvc5-features
December 28, 2023 18:45 10m 47s
Remove async-trait crate and async, z3, cvc5 features CI #15: Pull request #5 opened by oeb25
December 28, 2023 18:41 10m 53s remove-async-trait-and-async-z3-cvc5-features
remove-async-trait-and-async-z3-cvc5-features
December 28, 2023 18:41 10m 53s
Remove async-trait crate and async, z3, cvc5 features CI #14: Commit 89250bb pushed by oeb25
December 28, 2023 18:41 10m 53s remove-async-trait-and-async-z3-cvc5-features
remove-async-trait-and-async-z3-cvc5-features
December 28, 2023 18:41 10m 53s
chore: Release CI #13: Commit e64763d pushed by oeb25
December 26, 2023 12:52 3m 6s main
main
December 26, 2023 12:52 3m 6s
chore: Release CI #12: Commit e64763d pushed by oeb25
December 26, 2023 12:52 1m 51s smtlib-build-util-v0.1.8
smtlib-build-util-v0.1.8
December 26, 2023 12:52 1m 51s