Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
309 workflow runs
309 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump docker/build-push-action from 6.2.0 to 6.3.0 (#7280) Windows #234: Commit a2c3ce5 pushed by NikolajBjorner
July 15, 2024 20:07 52m 0s master
master
July 15, 2024 20:07 52m 0s
add new ema invariant (#7288) Windows #233: Commit b006901 pushed by NikolajBjorner
July 15, 2024 20:07 50m 54s master
master
July 15, 2024 20:07 50m 54s
kludge to address #7232, probably superseeded by planned revision to … Windows #232: Commit 374609b pushed by NikolajBjorner
July 8, 2024 23:54 50m 12s master
master
July 8, 2024 23:54 50m 12s
fix #7268 Windows #231: Commit af1f0e3 pushed by NikolajBjorner
July 8, 2024 21:50 50m 27s master
master
July 8, 2024 21:50 50m 27s
remove macro distinction #7270 Windows #230: Commit 6e069c1 pushed by NikolajBjorner
July 8, 2024 20:56 51m 41s master
master
July 8, 2024 20:56 51m 41s
trigger the build with a comment change Windows #229: Commit 18b6087 pushed by levnach
July 8, 2024 18:43 54m 17s master
master
July 8, 2024 18:43 54m 17s
Fix a comment for Z3_solver_from_string (#7271) Windows #228: Commit 1da1320 pushed by NikolajBjorner
July 2, 2024 14:09 49m 45s master
master
July 2, 2024 14:09 49m 45s
Bump docker/build-push-action from 6.1.0 to 6.2.0 (#7269) Windows #227: Commit facc7d8 pushed by NikolajBjorner
July 1, 2024 22:43 48m 54s master
master
July 1, 2024 22:43 48m 54s
set clean shutdown for local search and re-enable local search when i… Windows #226: Commit 8de2544 pushed by NikolajBjorner
June 30, 2024 23:06 49m 12s master
master
June 30, 2024 23:06 49m 12s
Bump docker/build-push-action from 6.0.0 to 6.1.0 (#7265) Windows #225: Commit b2b3bab pushed by NikolajBjorner
June 26, 2024 16:15 47m 53s master
master
June 26, 2024 16:15 47m 53s
fix #7264 Windows #224: Commit 8e482df pushed by NikolajBjorner
June 21, 2024 15:37 54m 8s master
master
June 21, 2024 15:37 54m 8s
disable publish and signing Windows #223: Commit c137ef7 pushed by NikolajBjorner
June 20, 2024 18:11 52m 41s master
master
June 20, 2024 18:11 52m 41s
disable publish and signing Windows #222: Commit abea0b7 pushed by NikolajBjorner
June 20, 2024 16:43 53m 58s master
master
June 20, 2024 16:43 53m 58s
skip signing Windows #221: Commit b5c3a6a pushed by NikolajBjorner
June 20, 2024 01:28 49m 22s master
master
June 20, 2024 01:28 49m 22s
update to macOS-latest Windows #220: Commit 4ca59c5 pushed by NikolajBjorner
June 20, 2024 00:26 50m 24s master
master
June 20, 2024 00:26 50m 24s
revert nightly to 2_28 manylinux Windows #219: Commit 2654d80 pushed by NikolajBjorner
June 19, 2024 23:19 49m 43s master
master
June 19, 2024 23:19 49m 43s
fix #7260 Windows #218: Commit 3bf2b3f pushed by NikolajBjorner
June 19, 2024 22:37 51m 43s master
master
June 19, 2024 22:37 51m 43s
Bump docker/build-push-action from 5.3.0 to 6.0.0 (#7257) Windows #217: Commit 223b65b pushed by NikolajBjorner
June 19, 2024 22:29 48m 43s master
master
June 19, 2024 22:29 48m 43s
Bump braces from 3.0.2 to 3.0.3 in /src/api/js (#7261) Windows #216: Commit 758d886 pushed by NikolajBjorner
June 19, 2024 22:29 50m 16s master
master
June 19, 2024 22:29 50m 16s
fix lemma logging in nlsat Windows #215: Commit bf3615d pushed by levnach
June 17, 2024 20:15 49m 53s master
master
June 17, 2024 20:15 49m 53s
remove unused column_info.h Windows #214: Commit e4b3df2 pushed by levnach
June 17, 2024 19:58 52m 26s master
master
June 17, 2024 19:58 52m 26s
update containers for Python, first steps to address #7232 Windows #213: Commit c0b4d02 pushed by NikolajBjorner
June 17, 2024 15:06 53m 5s master
master
June 17, 2024 15:06 53m 5s
add partial evaluation cases for algebraic data-types for recursive f… Windows #212: Commit ef86f5f pushed by NikolajBjorner
June 16, 2024 23:07 50m 39s master
master
June 16, 2024 23:07 50m 39s
fix #7245 Windows #211: Commit 01e47bf pushed by NikolajBjorner
June 15, 2024 09:29 50m 29s master
master
June 15, 2024 09:29 50m 29s
fix #7252 Windows #210: Commit a6b5027 pushed by NikolajBjorner
June 14, 2024 00:52 50m 42s master
master
June 14, 2024 00:52 50m 42s