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

Update nightly.yaml for Azure Pipelines Open Issues #2565: Commit 2123d38 pushed by NikolajBjorner
September 30, 2024 03:16 29m 37s master
master
September 30, 2024 03:16 29m 37s
try to build java on linux/arm nightly Open Issues #2564: Commit fc1c6b4 pushed by NikolajBjorner
September 30, 2024 03:14 29m 34s master
master
September 30, 2024 03:14 29m 34s
update version number and release notes Open Issues #2563: Commit 9a8ff74 pushed by NikolajBjorner
September 27, 2024 16:49 29m 22s master
master
September 27, 2024 16:49 29m 22s
make default tactic cases lazy Open Issues #2562: Commit 11bb19d pushed by NikolajBjorner
September 27, 2024 14:11 29m 44s master
master
September 27, 2024 14:11 29m 44s
fixes to lazy tactic uses Open Issues #2561: Commit 40b0210 pushed by NikolajBjorner
September 27, 2024 13:33 29m 58s master
master
September 27, 2024 13:33 29m 58s
fix #7404, relates to #7400. Open Issues #2560: Commit 01cf042 pushed by NikolajBjorner
September 27, 2024 10:36 31m 19s master
master
September 27, 2024 10:36 31m 19s
pypi publish Open Issues #2559: Commit d047b86 pushed by NikolajBjorner
September 26, 2024 20:35 30m 29s master
master
September 26, 2024 20:35 30m 29s
update signature of operator== Open Issues #2558: Commit 3df7299 pushed by NikolajBjorner
September 26, 2024 13:47 30m 35s master
master
September 26, 2024 13:47 30m 35s
align nightly and release yamls Open Issues #2557: Commit 649c36a pushed by NikolajBjorner
September 26, 2024 12:59 30m 44s master
master
September 26, 2024 12:59 30m 44s
set to macos latest Open Issues #2556: Commit 8d831a1 pushed by NikolajBjorner
September 26, 2024 10:22 29m 41s master
master
September 26, 2024 10:22 29m 41s
remove ubuntu20 Open Issues #2555: Commit b39bcd6 pushed by NikolajBjorner
September 26, 2024 10:21 30m 58s master
master
September 26, 2024 10:21 30m 58s
fix indent Open Issues #2554: Commit ebdb037 pushed by NikolajBjorner
September 26, 2024 10:02 29m 41s master
master
September 26, 2024 10:02 29m 41s
skip pypi publish during dry run Open Issues #2553: Commit c690279 pushed by NikolajBjorner
September 26, 2024 09:03 32m 8s master
master
September 26, 2024 09:03 32m 8s
wasm: increase timeout in tests (#7401) Open Issues #2552: Commit 77aa528 pushed by NikolajBjorner
September 25, 2024 17:33 31m 53s master
master
September 25, 2024 17:33 31m 53s
wasm: attempt to GC in tests (#7400) Open Issues #2551: Commit 103c5ad pushed by NikolajBjorner
September 25, 2024 14:53 30m 36s master
master
September 25, 2024 14:53 30m 36s
remove ubuntu build 20 from nightly Open Issues #2550: Commit 82eb186 pushed by NikolajBjorner
September 25, 2024 09:40 30m 27s master
master
September 25, 2024 09:40 30m 27s
fix #7392 Open Issues #2549: Commit eb5d036 pushed by NikolajBjorner
September 25, 2024 09:21 30m 55s master
master
September 25, 2024 09:21 30m 55s
comment out simple proofs unit test Open Issues #2548: Commit 2655301 pushed by NikolajBjorner
September 24, 2024 22:01 31m 19s master
master
September 24, 2024 22:01 31m 19s
Julia now used the C API. (#7388) Open Issues #2547: Commit 8b81bda pushed by NikolajBjorner
September 24, 2024 14:17 31m 9s master
master
September 24, 2024 14:17 31m 9s
C API now used by Julia. (#7387) Open Issues #2546: Commit 994056f pushed by NikolajBjorner
September 24, 2024 14:17 31m 49s master
master
September 24, 2024 14:17 31m 49s
update lock file Open Issues #2545: Commit 716a815 pushed by NikolajBjorner
September 24, 2024 10:29 32m 39s master
master
September 24, 2024 10:29 32m 39s
sample fix script Open Issues #2544: Commit afaa48d pushed by NikolajBjorner
September 23, 2024 18:06 30m 6s master
master
September 23, 2024 18:06 30m 6s
disable simple check in nlsat Open Issues #2543: Commit fa1a2cd pushed by levnach
September 23, 2024 17:10 31m 8s master
master
September 23, 2024 17:10 31m 8s
Add .gitattributes for genaiscript and update git commit flow script.… Open Issues #2542: Commit c34c847 pushed by NikolajBjorner
September 23, 2024 16:47 30m 32s master
master
September 23, 2024 16:47 30m 32s
Update Ubuntu job name in Azure pipeline and add string variable crea… Open Issues #2541: Commit ec14ef7 pushed by NikolajBjorner
September 23, 2024 16:42 30m 27s master
master
September 23, 2024 16:42 30m 27s