Skip to content

Actions: Z3Prover/z3

Actions

Open Issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wip.yml
814 workflow runs
814 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix #7372 Open Issues #2515: Commit 99a9a4a pushed by NikolajBjorner
September 12, 2024 17:38 26m 24s master
master
September 12, 2024 17:38 26m 24s
remove default destructors & some default constructors Open Issues #2514: Commit 8061765 pushed by nunoplopes
September 4, 2024 21:30 25m 42s master
master
September 4, 2024 21:30 25m 42s
Fix nightly (#7365) Open Issues #2513: Commit 0837e3b pushed by NikolajBjorner
September 3, 2024 23:11 25m 36s master
master
September 3, 2024 23:11 25m 36s
Adjust memory reallocation to consider SIZE_T_ALIGN in memory_manager Open Issues #2512: Commit 5237e7d pushed by NikolajBjorner
September 3, 2024 18:17 26m 23s master
master
September 3, 2024 18:17 26m 23s
Add reference URL to GenAI script file for auto Git commit guide Open Issues #2511: Commit 6086a30 pushed by NikolajBjorner
September 3, 2024 00:15 26m 58s master
master
September 3, 2024 00:15 26m 58s
#6902 Open Issues #2510: Commit db4176a pushed by NikolajBjorner
September 3, 2024 00:01 26m 6s master
master
September 3, 2024 00:01 26m 6s
replace a few old-school constructors for a 0.5% reduction in code size Open Issues #2509: Commit ef58376 pushed by nunoplopes
September 2, 2024 15:14 26m 37s master
master
September 2, 2024 15:14 26m 37s
revert update to vector for testing #6902 Open Issues #2508: Commit a3eb2ff pushed by NikolajBjorner
August 31, 2024 00:43 25m 34s master
master
August 31, 2024 00:43 25m 34s
fix build Open Issues #2507: Commit a1bcf13 pushed by NikolajBjorner
August 31, 2024 00:35 25m 48s master
master
August 31, 2024 00:35 25m 48s
#7362 Open Issues #2506: Commit 01a4195 pushed by NikolajBjorner
August 30, 2024 21:35 13m 36s master
master
August 30, 2024 21:35 13m 36s
#7362 Open Issues #2505: Commit 9a87bb1 pushed by NikolajBjorner
August 30, 2024 21:30 25m 2s master
master
August 30, 2024 21:30 25m 2s
update gitignore to prepare for genaiscript Open Issues #2504: Commit 46d602e pushed by NikolajBjorner
August 30, 2024 18:52 25m 17s master
master
August 30, 2024 18:52 25m 17s
Update nightly.yaml for Azure Pipelines Open Issues #2503: Commit 84b2c21 pushed by NikolajBjorner
August 30, 2024 00:10 27m 42s master
master
August 30, 2024 00:10 27m 42s
wheelhouse Open Issues #2502: Commit dcdb7c4 pushed by NikolajBjorner
August 29, 2024 18:34 25m 45s master
master
August 29, 2024 18:34 25m 45s
Update nightly.yaml Open Issues #2501: Commit 96417d4 pushed by NikolajBjorner
August 29, 2024 17:43 26m 46s master
master
August 29, 2024 17:43 26m 46s
Update nightly.yaml Open Issues #2500: Commit 59853d0 pushed by NikolajBjorner
August 29, 2024 17:41 26m 19s master
master
August 29, 2024 17:41 26m 19s
update nightly Open Issues #2499: Commit c79477a pushed by NikolajBjorner
August 29, 2024 00:41 26m 41s master
master
August 29, 2024 00:41 26m 41s
Update azure-pipelines.yml Open Issues #2498: Commit ea93f07 pushed by NikolajBjorner
August 28, 2024 22:41 25m 21s master
master
August 28, 2024 22:41 25m 21s
add back auditwheel Open Issues #2497: Commit cd89867 pushed by NikolajBjorner
August 28, 2024 21:10 25m 46s master
master
August 28, 2024 21:10 25m 46s
Update README.md Open Issues #2496: Commit ea417bb pushed by NikolajBjorner
August 28, 2024 17:32 27m 19s master
master
August 28, 2024 17:32 27m 19s
retain pip install build, remove audit Open Issues #2495: Commit 954dddb pushed by NikolajBjorner
August 28, 2024 16:44 25m 10s master
master
August 28, 2024 16:44 25m 10s
fix expected Open Issues #2494: Commit 5360656 pushed by NikolajBjorner
August 28, 2024 16:41 25m 41s master
master
August 28, 2024 16:41 25m 41s
Bump docker/build-push-action from 6.6.1 to 6.7.0 (#7350) Open Issues #2493: Commit 0bf3eeb pushed by NikolajBjorner
August 28, 2024 16:32 26m 15s master
master
August 28, 2024 16:32 26m 15s
adding to nightly Open Issues #2492: Commit f6dbaee pushed by NikolajBjorner
August 28, 2024 00:17 25m 6s master
master
August 28, 2024 00:17 25m 6s
New python packaging and tests (#7356) Open Issues #2491: Commit e1f1d67 pushed by NikolajBjorner
August 28, 2024 00:12 25m 46s master
master
August 28, 2024 00:12 25m 46s