Skip to content

Actions: stanford-centaur/smt-switch

Actions

Automatically Draft a Release on Version Bump

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
auto-draft-release.yml
91 workflow runs
91 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
style: Apply ruff's unsafe autofixes (#516) Automatically Draft a Release on Version Bump #131: Commit 0c82ad9 pushed by CyanoKobalamyne
10s main
main
10s
style: Apply ruff's safe autofixes and enable the ruff-check hook (#515) Automatically Draft a Release on Version Bump #130: Commit 5c240dc pushed by CyanoKobalamyne
12s main
main
12s
Bump actions/checkout from 6 to 7 in the github-actions group (#514) Automatically Draft a Release on Version Bump #129: Commit b1ed8c9 pushed by CyanoKobalamyne
8s main
main
8s
build: Add pre-commit configuration (#513) Automatically Draft a Release on Version Bump #128: Commit 0b51f17 pushed by CyanoKobalamyne
11s main
main
11s
Bump the github-actions group with 4 updates (#512) Automatically Draft a Release on Version Bump #127: Commit 4e16b2e pushed by CyanoKobalamyne
7s main
main
7s
Create dependabot.yml (#511) Automatically Draft a Release on Version Bump #126: Commit 96e11ff pushed by CyanoKobalamyne
12s main
main
12s
style: Add minimal ruff config and autoformat Python sources (#510) Automatically Draft a Release on Version Bump #125: Commit dc378fd pushed by CyanoKobalamyne
13s main
main
13s
build: Fix CMAKE_BINARY_DIR usage (#508) Automatically Draft a Release on Version Bump #124: Commit c5f91ba pushed by CyanoKobalamyne
12s main
main
12s
Update version to 1.1.4 (#507) Automatically Draft a Release on Version Bump #123: Commit 460b5fd pushed by CyanoKobalamyne
17s main
main
17s
Update cvc5 to 1.3.4 (#506) Automatically Draft a Release on Version Bump #122: Commit 901ac73 pushed by CyanoKobalamyne
7s main
main
7s
Update version to 1.1.3 (#504) Automatically Draft a Release on Version Bump #121: Commit bfe3761 pushed by CyanoKobalamyne
14s main
main
14s
Split test-dep CMake target (#503) Automatically Draft a Release on Version Bump #120: Commit 170cfa3 pushed by CyanoKobalamyne
11s main
main
11s
Change compile definition for smtlib reader test (#501) Automatically Draft a Release on Version Bump #119: Commit 9ad1977 pushed by CyanoKobalamyne
10s main
main
10s
Fix CMake syntax issues (#500) Automatically Draft a Release on Version Bump #118: Commit 9c4882d pushed by CyanoKobalamyne
11s main
main
11s
Move solver binary path computation logic into solver-specific files … Automatically Draft a Release on Version Bump #117: Commit 7408e80 pushed by CyanoKobalamyne
7s main
main
7s
Format all CMake files with gersemi (#498) Automatically Draft a Release on Version Bump #116: Commit 3fc10c8 pushed by CyanoKobalamyne
8s main
main
8s
Fix memory leak in Cvc5Solver (#497) Automatically Draft a Release on Version Bump #115: Commit b0567bf pushed by CyanoKobalamyne
12s main
main
12s
Update version to 1.1.2 (#496) Automatically Draft a Release on Version Bump #114: Commit 3fee5ca pushed by CyanoKobalamyne
11s main
main
11s
Pass variable by reference to avoid stack use after scope error (#495) Automatically Draft a Release on Version Bump #113: Commit a27440b pushed by CyanoKobalamyne
11s main
main
11s
Fix memory leak in constructor when exception is thrown (#494) Automatically Draft a Release on Version Bump #112: Commit b559607 pushed by CyanoKobalamyne
10s main
main
10s
Fix buffer overflow and over-read in GenericSolver (#493) Automatically Draft a Release on Version Bump #111: Commit dc3ef59 pushed by CyanoKobalamyne
9s main
main
9s
Use correct delete operator in GenericSolver destructor (#492) Automatically Draft a Release on Version Bump #110: Commit 1174b21 pushed by CyanoKobalamyne
11s main
main
11s
Update version to 1.1.1 (#491) Automatically Draft a Release on Version Bump #109: Commit 2eb4bbd pushed by CyanoKobalamyne
11s main
main
11s
Fix bitwuzla build (#490) Automatically Draft a Release on Version Bump #108: Commit 3408250 pushed by CyanoKobalamyne
9s main
main
9s
Update VERSION to 1.1.0 (#488) Automatically Draft a Release on Version Bump #107: Commit fa9a518 pushed by CyanoKobalamyne
19s main
main
19s