Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
308 workflow runs
308 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix #7372 Windows #308: Commit 99a9a4a pushed by NikolajBjorner
September 12, 2024 17:38 55m 21s master
master
September 12, 2024 17:38 55m 21s
remove default destructors & some default constructors Windows #307: Commit 8061765 pushed by nunoplopes
September 4, 2024 21:30 55m 25s master
master
September 4, 2024 21:30 55m 25s
Fix nightly (#7365) Windows #306: Commit 0837e3b pushed by NikolajBjorner
September 3, 2024 23:11 57m 53s master
master
September 3, 2024 23:11 57m 53s
Adjust memory reallocation to consider SIZE_T_ALIGN in memory_manager Windows #305: Commit 5237e7d pushed by NikolajBjorner
September 3, 2024 18:17 54m 54s master
master
September 3, 2024 18:17 54m 54s
Add reference URL to GenAI script file for auto Git commit guide Windows #304: Commit 6086a30 pushed by NikolajBjorner
September 3, 2024 00:15 56m 6s master
master
September 3, 2024 00:15 56m 6s
#6902 Windows #303: Commit db4176a pushed by NikolajBjorner
September 3, 2024 00:01 54m 10s master
master
September 3, 2024 00:01 54m 10s
replace a few old-school constructors for a 0.5% reduction in code size Windows #302: Commit ef58376 pushed by nunoplopes
September 2, 2024 15:14 55m 29s master
master
September 2, 2024 15:14 55m 29s
revert update to vector for testing #6902 Windows #301: Commit a3eb2ff pushed by NikolajBjorner
August 31, 2024 00:43 55m 28s master
master
August 31, 2024 00:43 55m 28s
fix build Windows #300: Commit a1bcf13 pushed by NikolajBjorner
August 31, 2024 00:35 3h 38m 4s master
master
August 31, 2024 00:35 3h 38m 4s
#7362 Windows #299: Commit 01a4195 pushed by NikolajBjorner
August 30, 2024 21:35 16m 35s master
master
August 30, 2024 21:35 16m 35s
#7362 Windows #298: Commit 9a87bb1 pushed by NikolajBjorner
August 30, 2024 21:30 53m 45s master
master
August 30, 2024 21:30 53m 45s
update gitignore to prepare for genaiscript Windows #297: Commit 46d602e pushed by NikolajBjorner
August 30, 2024 18:52 53m 54s master
master
August 30, 2024 18:52 53m 54s
Update nightly.yaml for Azure Pipelines Windows #296: Commit 84b2c21 pushed by NikolajBjorner
August 30, 2024 00:10 53m 22s master
master
August 30, 2024 00:10 53m 22s
wheelhouse Windows #295: Commit dcdb7c4 pushed by NikolajBjorner
August 29, 2024 18:34 55m 24s master
master
August 29, 2024 18:34 55m 24s
Update nightly.yaml Windows #294: Commit 96417d4 pushed by NikolajBjorner
August 29, 2024 17:43 55m 20s master
master
August 29, 2024 17:43 55m 20s
Update nightly.yaml Windows #293: Commit 59853d0 pushed by NikolajBjorner
August 29, 2024 17:41 54m 30s master
master
August 29, 2024 17:41 54m 30s
update nightly Windows #292: Commit c79477a pushed by NikolajBjorner
August 29, 2024 00:41 54m 0s master
master
August 29, 2024 00:41 54m 0s
Update azure-pipelines.yml Windows #291: Commit ea93f07 pushed by NikolajBjorner
August 28, 2024 22:41 54m 20s master
master
August 28, 2024 22:41 54m 20s
add back auditwheel Windows #290: Commit cd89867 pushed by NikolajBjorner
August 28, 2024 21:10 55m 42s master
master
August 28, 2024 21:10 55m 42s
Update README.md Windows #289: Commit ea417bb pushed by NikolajBjorner
August 28, 2024 17:32 56m 39s master
master
August 28, 2024 17:32 56m 39s
retain pip install build, remove audit Windows #288: Commit 954dddb pushed by NikolajBjorner
August 28, 2024 16:44 54m 4s master
master
August 28, 2024 16:44 54m 4s
fix expected Windows #287: Commit 5360656 pushed by NikolajBjorner
August 28, 2024 16:41 58m 28s master
master
August 28, 2024 16:41 58m 28s
Bump docker/build-push-action from 6.6.1 to 6.7.0 (#7350) Windows #286: Commit 0bf3eeb pushed by NikolajBjorner
August 28, 2024 16:32 56m 36s master
master
August 28, 2024 16:32 56m 36s
adding to nightly Windows #285: Commit f6dbaee pushed by NikolajBjorner
August 28, 2024 00:17 54m 51s master
master
August 28, 2024 00:17 54m 51s
New python packaging and tests (#7356) Windows #284: Commit e1f1d67 pushed by NikolajBjorner
August 28, 2024 00:12 54m 22s master
master
August 28, 2024 00:12 54m 22s