Skip to content

Actions: Z3Prover/z3

Actions

Open Issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wip.yml
828 workflow runs
828 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix #7822 Open Issues #3267: Commit 2337e68 pushed by NikolajBjorner
August 27, 2025 16:18 34m 19s master
master
August 27, 2025 16:18 34m 19s
[CMake] Document hybrid approach and fix FetchContent C++ header path… Open Issues #3266: Commit b8b9327 pushed by NikolajBjorner
August 27, 2025 15:45 35m 34s master
master
August 27, 2025 15:45 35m 34s
remove double tweak versioning Open Issues #3265: Commit 1bed5a4 pushed by NikolajBjorner
August 26, 2025 16:51 33m 58s master
master
August 26, 2025 16:51 33m 58s
Bugfix: post-build sanity check when an old version of ocaml-z3 is in… Open Issues #3264: Commit 894c0e9 pushed by NikolajBjorner
August 25, 2025 03:49 35m 46s master
master
August 25, 2025 03:49 35m 46s
clean up a little of the handling of VERSION.txt Open Issues #3263: Commit 12563c6 pushed by NikolajBjorner
August 24, 2025 23:38 34m 48s master
master
August 24, 2025 23:38 34m 48s
Move VERSION.txt to scripts directory and update all references (#7811) Open Issues #3262: Commit 300e0ae pushed by NikolajBjorner
August 24, 2025 23:36 34m 1s master
master
August 24, 2025 23:36 34m 1s
copy VERSION from SRC_DIR Open Issues #3261: Commit 2874645 pushed by NikolajBjorner
August 24, 2025 22:10 33m 5s master
master
August 24, 2025 22:10 33m 5s
print dirs Open Issues #3260: Commit 116e1ec pushed by NikolajBjorner
August 24, 2025 22:02 34m 16s master
master
August 24, 2025 22:02 34m 16s
more output Open Issues #3259: Commit be22111 pushed by NikolajBjorner
August 24, 2025 21:50 36m 39s master
master
August 24, 2025 21:50 36m 39s
remove extra characters Open Issues #3258: Commit 867bc6a pushed by NikolajBjorner
August 24, 2025 21:36 34m 20s master
master
August 24, 2025 21:36 34m 20s
try other dir Open Issues #3257: Commit 438b41a pushed by NikolajBjorner
August 24, 2025 01:27 40m 39s master
master
August 24, 2025 01:27 40m 39s
try src_dir_repo Open Issues #3256: Commit 1987b3d pushed by NikolajBjorner
August 24, 2025 01:20 35m 1s master
master
August 24, 2025 01:20 35m 1s
try diferennt dirs Open Issues #3255: Commit 778b9a5 pushed by NikolajBjorner
August 24, 2025 01:13 34m 22s master
master
August 24, 2025 01:13 34m 22s
add more logging to setup.py Open Issues #3254: Commit 3b03636 pushed by NikolajBjorner
August 23, 2025 23:37 34m 2s master
master
August 23, 2025 23:37 34m 2s
add print for version file Open Issues #3253: Commit 21e63db pushed by NikolajBjorner
August 23, 2025 21:41 34m 14s master
master
August 23, 2025 21:41 34m 14s
Fix Julia bindings linker errors on Windows MSVC (#7794) Open Issues #3252: Commit 8d395d6 pushed by NikolajBjorner
August 23, 2025 21:24 35m 27s master
master
August 23, 2025 21:24 35m 27s
Document how to use system-installed Z3 with CMake projects (#7809) Open Issues #3251: Commit ba068d7 pushed by NikolajBjorner
August 23, 2025 21:23 33m 40s master
master
August 23, 2025 21:23 33m 40s
remove resources directive again Open Issues #3250: Commit 7e6e96f pushed by NikolajBjorner
August 23, 2025 18:45 34m 28s master
master
August 23, 2025 18:45 34m 28s
add resources Open Issues #3249: Commit 12e7478 pushed by NikolajBjorner
August 23, 2025 18:41 33m 45s master
master
August 23, 2025 18:41 33m 45s
Attempt at adding the README to the NuGet package (#7807) Open Issues #3248: Commit 4792068 pushed by NikolajBjorner
August 23, 2025 18:15 33m 54s master
master
August 23, 2025 18:15 33m 54s
Update nightly.yaml to match release.yml NuGet tool installer changes… Open Issues #3247: Commit 64419ad pushed by NikolajBjorner
August 23, 2025 18:15 33m 44s master
master
August 23, 2025 18:15 33m 44s
Fix Azure Pipeline PyPI package builds by including VERSION.txt in so… Open Issues #3246: Commit 5d29eb1 pushed by NikolajBjorner
August 23, 2025 17:51 35m 29s master
master
August 23, 2025 17:51 35m 29s
fix parsing of version Open Issues #3245: Commit fa0f9c9 pushed by NikolajBjorner
August 20, 2025 16:45 34m 15s master
master
August 20, 2025 16:45 34m 15s
fix version parse Open Issues #3244: Commit 02f195a pushed by NikolajBjorner
August 20, 2025 16:39 35m 30s master
master
August 20, 2025 16:39 35m 30s
read version from VERSION.txt Open Issues #3243: Commit 7265563 pushed by NikolajBjorner
August 20, 2025 16:25 35m 23s master
master
August 20, 2025 16:25 35m 23s