Skip to content

Actions: prove-rs/z3.rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
715 workflow runs
715 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
chore: release (#588) Rust #1299: Commit ffb47c0 pushed by toolCHAINZ
41m 3s master
master
41m 3s
chore: release (#588) Release-plz #154: Commit ffb47c0 pushed by toolCHAINZ
4m 15s master
master
4m 15s
chore: release Rust #1298: Pull request #588 synchronize by toolCHAINZ
1m 7s release-plz-2026-08-30T17-39-41Z
release-plz-2026-08-30T17-39-41Z
1m 7s
chore: release Rust #1297: Pull request #588 synchronize by toolCHAINZ
1m 28s release-plz-2026-08-30T17-39-41Z
release-plz-2026-08-30T17-39-41Z
1m 28s
chore: turn off semver-check for z3 crate Rust #1296: Commit cd52e5c pushed by toolCHAINZ
39m 30s master
master
39m 30s
chore: turn off semver-check for z3 crate Release-plz #153: Commit cd52e5c pushed by toolCHAINZ
31s master
master
31s
chore: disable semver-checks for z3-sys Rust #1295: Commit fdf3e46 pushed by toolCHAINZ
28m 32s master
master
28m 32s
chore: disable semver-checks for z3-sys Release-plz #152: Commit fdf3e46 pushed by toolCHAINZ
2m 34s master
master
2m 34s
fix: Fall back to pkg-config on build feature conflict (#595) Release-plz #151: Commit 30578db pushed by toolCHAINZ
1m 47s master
master
1m 47s
fix: Fall back to pkg-config on build feature conflict (#595) Rust #1294: Commit 30578db pushed by toolCHAINZ
42m 22s master
master
42m 22s
fix: Fall back to pkg-config on build feature conflict Rust #1293: Pull request #595 opened by toolCHAINZ
58s fix/conflicting-features
fix/conflicting-features
58s
feat: Improve Windows cross-compilation support (#592) Rust #1292: Commit 85d2a48 pushed by toolCHAINZ
30m 20s master
master
30m 20s
feat: Improve Windows cross-compilation support (#592) Release-plz #150: Commit 85d2a48 pushed by toolCHAINZ
1m 21s master
master
1m 21s
Improve windows cross compilation support and build non-msvc windows … Rust #1291: Pull request #592 synchronize by MI3Guy
1m 5s MI3Guy:windows-cross-and-gnu
MI3Guy:windows-cross-and-gnu
1m 5s
Improve windows cross compilation support and build non-msvc windows … Rust #1290: Pull request #592 synchronize by MI3Guy
43s MI3Guy:windows-cross-and-gnu
MI3Guy:windows-cross-and-gnu
43s
Improve windows cross compilation support and build non-msvc windows … Rust #1289: Pull request #592 synchronize by toolCHAINZ
49s MI3Guy:windows-cross-and-gnu
MI3Guy:windows-cross-and-gnu
49s
fix: Use wrap for Goal's clone impl (#594) Release-plz #149: Commit f5e0ba7 pushed by toolCHAINZ
58s master
master
58s
fix: Use wrap for Goal's clone impl (#594) Rust #1288: Commit f5e0ba7 pushed by toolCHAINZ
1h 1m 11s master
master
1h 1m 11s
fix: UAF bug in Goal Rust #1287: Pull request #594 opened by Ollie-Pearce
1m 12s Ollie-Pearce:fix-Goal-UAF
Ollie-Pearce:fix-Goal-UAF
1m 12s
Rust Rust #1286: Manually run by toolCHAINZ
1h 2m 22s ci/pr-592-windows-cross-and-gnu
ci/pr-592-windows-cross-and-gnu
1h 2m 22s
Improve windows cross compilation support and build non-msvc windows … Rust #1285: Pull request #592 opened by MI3Guy
1m 8s MI3Guy:windows-cross-and-gnu
MI3Guy:windows-cross-and-gnu
1m 8s
fix: correct Model/FuncInterp handling of constant interpretations Rust #1284: Pull request #590 synchronize by toolCHAINZ
57s fix-func-interp-461
fix-func-interp-461
57s
chore: release Rust #1283: Pull request #588 synchronize by toolCHAINZ
50s release-plz-2026-08-30T17-39-41Z
release-plz-2026-08-30T17-39-41Z
50s
feat: FuncDecl::as_array() (#591) Release-plz #148: Commit 3d90647 pushed by toolCHAINZ
51s master
master
51s
feat: FuncDecl::as_array() (#591) Rust #1282: Commit 3d90647 pushed by toolCHAINZ
41m 8s master
master
41m 8s