Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
408 workflow runs
408 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update nightly.yaml for Azure Pipelines Windows #358: Commit 2123d38 pushed by NikolajBjorner
September 30, 2024 03:16 55m 59s master
master
September 30, 2024 03:16 55m 59s
try to build java on linux/arm nightly Windows #357: Commit fc1c6b4 pushed by NikolajBjorner
September 30, 2024 03:14 54m 43s master
master
September 30, 2024 03:14 54m 43s
update version number and release notes Windows #356: Commit 9a8ff74 pushed by NikolajBjorner
September 27, 2024 16:49 1h 1m 55s master
master
September 27, 2024 16:49 1h 1m 55s
make default tactic cases lazy Windows #355: Commit 11bb19d pushed by NikolajBjorner
September 27, 2024 14:11 53m 51s master
master
September 27, 2024 14:11 53m 51s
fixes to lazy tactic uses Windows #354: Commit 40b0210 pushed by NikolajBjorner
September 27, 2024 13:33 55m 0s master
master
September 27, 2024 13:33 55m 0s
fix #7404, relates to #7400. Windows #353: Commit 01cf042 pushed by NikolajBjorner
September 27, 2024 10:36 42m 51s master
master
September 27, 2024 10:36 42m 51s
pypi publish Windows #352: Commit d047b86 pushed by NikolajBjorner
September 26, 2024 20:35 1h 23m 21s master
master
September 26, 2024 20:35 1h 23m 21s
update signature of operator== Windows #351: Commit 3df7299 pushed by NikolajBjorner
September 26, 2024 13:47 1h 10m 56s master
master
September 26, 2024 13:47 1h 10m 56s
align nightly and release yamls Windows #350: Commit 649c36a pushed by NikolajBjorner
September 26, 2024 12:59 1h 8m 51s master
master
September 26, 2024 12:59 1h 8m 51s
set to macos latest Windows #349: Commit 8d831a1 pushed by NikolajBjorner
September 26, 2024 10:22 1h 9m 33s master
master
September 26, 2024 10:22 1h 9m 33s
remove ubuntu20 Windows #348: Commit b39bcd6 pushed by NikolajBjorner
September 26, 2024 10:20 1h 8m 22s master
master
September 26, 2024 10:20 1h 8m 22s
fix indent Windows #347: Commit ebdb037 pushed by NikolajBjorner
September 26, 2024 10:02 1h 10m 33s master
master
September 26, 2024 10:02 1h 10m 33s
skip pypi publish during dry run Windows #346: Commit c690279 pushed by NikolajBjorner
September 26, 2024 09:03 1h 8m 50s master
master
September 26, 2024 09:03 1h 8m 50s
wasm: increase timeout in tests (#7401) Windows #345: Commit 77aa528 pushed by NikolajBjorner
September 25, 2024 17:33 1h 9m 4s master
master
September 25, 2024 17:33 1h 9m 4s
wasm: attempt to GC in tests (#7400) Windows #344: Commit 103c5ad pushed by NikolajBjorner
September 25, 2024 14:53 1h 8m 43s master
master
September 25, 2024 14:53 1h 8m 43s
remove ubuntu build 20 from nightly Windows #343: Commit 82eb186 pushed by NikolajBjorner
September 25, 2024 09:40 1h 9m 32s master
master
September 25, 2024 09:40 1h 9m 32s
fix #7392 Windows #342: Commit eb5d036 pushed by NikolajBjorner
September 25, 2024 09:21 1h 9m 6s master
master
September 25, 2024 09:21 1h 9m 6s
comment out simple proofs unit test Windows #341: Commit 2655301 pushed by NikolajBjorner
September 24, 2024 22:01 1h 11m 42s master
master
September 24, 2024 22:01 1h 11m 42s
Julia now used the C API. (#7388) Windows #340: Commit 8b81bda pushed by NikolajBjorner
September 24, 2024 14:17 1h 10m 4s master
master
September 24, 2024 14:17 1h 10m 4s
C API now used by Julia. (#7387) Windows #339: Commit 994056f pushed by NikolajBjorner
September 24, 2024 14:17 1h 9m 35s master
master
September 24, 2024 14:17 1h 9m 35s
update lock file Windows #338: Commit 716a815 pushed by NikolajBjorner
September 24, 2024 10:29 1h 9m 25s master
master
September 24, 2024 10:29 1h 9m 25s
sample fix script Windows #337: Commit afaa48d pushed by NikolajBjorner
September 23, 2024 18:06 1h 10m 41s master
master
September 23, 2024 18:06 1h 10m 41s
disable simple check in nlsat Windows #336: Commit fa1a2cd pushed by levnach
September 23, 2024 17:10 1h 12m 17s master
master
September 23, 2024 17:10 1h 12m 17s
Add .gitattributes for genaiscript and update git commit flow script.… Windows #335: Commit c34c847 pushed by NikolajBjorner
September 23, 2024 16:47 1h 9m 37s master
master
September 23, 2024 16:47 1h 9m 37s
Update Ubuntu job name in Azure pipeline and add string variable crea… Windows #334: Commit ec14ef7 pushed by NikolajBjorner
September 23, 2024 16:42 1h 9m 1s master
master
September 23, 2024 16:42 1h 9m 1s