Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
700 workflow runs
700 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

special purpose dotnet copy Windows #50: Commit bef67f8 pushed by NikolajBjorner
January 30, 2024 03:32 50m 54s master
master
January 30, 2024 03:32 50m 54s
update win-dist Windows #49: Commit 4be8b7d pushed by NikolajBjorner
January 30, 2024 02:47 49m 41s master
master
January 30, 2024 02:47 49m 41s
fix #7101 Windows #48: Commit 908aaa0 pushed by NikolajBjorner
January 29, 2024 20:26 49m 58s master
master
January 29, 2024 20:26 49m 58s
fix #7103 Windows #47: Commit 2b68394 pushed by NikolajBjorner
January 28, 2024 01:46 49m 36s master
master
January 28, 2024 01:46 49m 36s
fix #7102 Windows #46: Commit f8a3b6f pushed by NikolajBjorner
January 28, 2024 01:05 48m 59s master
master
January 28, 2024 01:05 48m 59s
updating java cmake scrip Windows #45: Commit 2af1cff pushed by NikolajBjorner
January 28, 2024 00:29 49m 38s master
master
January 28, 2024 00:29 49m 38s
update java install/build Windows #44: Commit 527f824 pushed by NikolajBjorner
January 25, 2024 23:07 52m 25s master
master
January 25, 2024 23:07 52m 25s
update java install/build Windows #43: Commit c8c2e3a pushed by NikolajBjorner
January 25, 2024 23:05 53m 3s master
master
January 25, 2024 23:05 53m 3s
Update mk_win_dist_cmake.py Windows #42: Commit 637ffcd pushed by NikolajBjorner
January 25, 2024 20:23 49m 48s master
master
January 25, 2024 20:23 49m 48s
Expose forall and exists to Julia (#7099) Windows #41: Commit dec5715 pushed by NikolajBjorner
January 25, 2024 17:49 49m 58s master
master
January 25, 2024 17:49 49m 58s
update cmake build Windows #40: Commit 9d59d86 pushed by NikolajBjorner
January 25, 2024 17:42 48m 58s master
master
January 25, 2024 17:42 48m 58s
attempting to build ARM Windows #39: Commit ee2be7d pushed by NikolajBjorner
January 25, 2024 16:41 51m 25s master
master
January 25, 2024 16:41 51m 25s
Api (#7097) Windows #38: Commit bdb9106 pushed by NikolajBjorner
January 25, 2024 00:05 52m 8s master
master
January 25, 2024 00:05 52m 8s
update minor version number Windows #37: Commit 1335466 pushed by NikolajBjorner
January 24, 2024 17:24 50m 58s master
master
January 24, 2024 17:24 50m 58s
fix build Windows #36: Commit 1b94d43 pushed by NikolajBjorner
January 24, 2024 16:53 50m 40s master
master
January 24, 2024 16:53 50m 40s
prepare for integer intervals Windows #35: Commit fad4283 pushed by NikolajBjorner
January 23, 2024 23:33 41m 52s master
master
January 23, 2024 23:33 41m 52s
use while (true) in do loops with continue Windows #34: Commit 36453c5 pushed by NikolajBjorner
January 23, 2024 22:57 49m 57s master
master
January 23, 2024 22:57 49m 57s
fix #7027 Windows #33: Commit be7856c pushed by NikolajBjorner
January 23, 2024 22:56 49m 33s master
master
January 23, 2024 22:56 49m 33s
add ability to multiply term Windows #32: Commit 839b710 pushed by NikolajBjorner
January 22, 2024 23:48 51m 1s master
master
January 22, 2024 23:48 51m 1s
Bump mymindstorm/setup-emsdk from 13 to 14 (#7095) Windows #31: Commit 414c33f pushed by NikolajBjorner
January 22, 2024 22:50 49m 30s master
master
January 22, 2024 22:50 49m 30s
update release scripts and notes Windows #30: Commit a7b564c pushed by NikolajBjorner
January 21, 2024 18:06 47m 2s master
master
January 21, 2024 18:06 47m 2s
track quantifier instantiation method in proof hint #7080 Windows #29: Commit 7486e87 pushed by NikolajBjorner
January 21, 2024 01:44 47m 35s master
master
January 21, 2024 01:44 47m 35s
prepare for release Windows #28: Commit 302ebff pushed by NikolajBjorner
January 21, 2024 00:46 48m 50s master
master
January 21, 2024 00:46 48m 50s
add status badge for windows build, remove windows build from Azure p… Windows #27: Commit e722dc7 pushed by NikolajBjorner
January 21, 2024 00:30 49m 46s master
master
January 21, 2024 00:30 49m 46s
add Windows build Windows #26: Commit 2dd45f8 pushed by NikolajBjorner
January 21, 2024 00:28 2m 28s master
master
January 21, 2024 00:28 2m 28s
ProTip! You can narrow down the results and go further in time using created:<2024-01-21 or the other filters available.