Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
752 workflow runs
752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
#7344 Windows #283: Commit 349ebd0 pushed by NikolajBjorner
August 26, 2024 21:23 52m 58s master
master
August 26, 2024 21:23 52m 58s
make gcc linting happy Windows #282: Commit 84da614 pushed by NikolajBjorner
August 26, 2024 18:40 53m 19s master
master
August 26, 2024 18:40 53m 19s
fix attribute order Windows #281: Commit b84b4e7 pushed by NikolajBjorner
August 26, 2024 18:38 53m 49s master
master
August 26, 2024 18:38 53m 49s
address compiler warnings gcc-13 Windows #280: Commit 49ba3bc pushed by NikolajBjorner
August 26, 2024 18:34 54m 11s master
master
August 26, 2024 18:34 54m 11s
Avoid broken stack at few places (#7353) Windows #279: Commit cff1e92 pushed by NikolajBjorner
August 26, 2024 17:02 54m 28s master
master
August 26, 2024 17:02 54m 28s
#7353 - clear pointer when existing stack Windows #278: Commit 6a68cc5 pushed by NikolajBjorner
August 26, 2024 17:00 52m 57s master
master
August 26, 2024 17:00 52m 57s
Fix building with Windows SDK and Clang-CL (#7337) Windows #277: Commit c1454dc pushed by NikolajBjorner
August 15, 2024 20:08 53m 55s master
master
August 15, 2024 20:08 53m 55s
Bump docker/build-push-action from 6.5.0 to 6.6.1 (#7338) Windows #276: Commit 0612a0b pushed by nunoplopes
August 14, 2024 21:09 53m 44s master
master
August 14, 2024 21:09 53m 44s
fix #7343 Windows #275: Commit 6565455 pushed by NikolajBjorner
August 14, 2024 16:17 57m 40s master
master
August 14, 2024 16:17 57m 40s
fix #7343 Windows #274: Commit ed17de5 pushed by NikolajBjorner
August 14, 2024 15:51 53m 13s master
master
August 14, 2024 15:51 53m 13s
wasm build problem Windows #273: Commit 83f47bd pushed by levnach
August 13, 2024 01:36 1h 10m 14s master
master
August 13, 2024 01:36 1h 10m 14s
add release nodes and add the author reference in qfnra_tactic Windows #272: Commit bf34600 pushed by levnach
August 12, 2024 18:50 1h 12m 42s master
master
August 12, 2024 18:50 1h 12m 42s
use standard name conventions and add file headers Windows #271: Commit 8999e1a pushed by levnach
August 12, 2024 18:29 1h 15m 18s master
master
August 12, 2024 18:29 1h 15m 18s
cleanup Windows #270: Commit 33f0256 pushed by levnach
August 11, 2024 22:45 1h 13m 57s master
master
August 11, 2024 22:45 1h 13m 57s
fix #7331 Windows #269: Commit 3e518b9 pushed by NikolajBjorner
August 6, 2024 10:54 41m 16s master
master
August 6, 2024 10:54 41m 16s
add max conflict throttle to SAT based QFNIA tactic #7329 Windows #268: Commit 26b8d63 pushed by NikolajBjorner
August 3, 2024 18:34 42m 50s master
master
August 3, 2024 18:34 42m 50s
#7255 #7328 Windows #267: Commit 52f8eb2 pushed by NikolajBjorner
August 3, 2024 16:39 43m 21s master
master
August 3, 2024 16:39 43m 21s
#7255 #7328 Windows #266: Commit bc8fa67 pushed by NikolajBjorner
August 3, 2024 16:37 43m 33s master
master
August 3, 2024 16:37 43m 33s
do not copy artifacts from CI pipeline Windows #265: Commit d6040ee pushed by NikolajBjorner
August 3, 2024 16:29 45m 3s master
master
August 3, 2024 16:29 45m 3s
ProTip! You can narrow down the results and go further in time using created:<2024-08-03 or the other filters available.