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

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
Windows Windows #25: Manually run by NikolajBjorner
December 20, 2023 01:36 15m 51s windowsgithubbuild
windowsgithubbuild
December 20, 2023 01:36 15m 51s
Windows Windows #24: Manually run by NikolajBjorner
December 19, 2023 17:01 15m 22s windowsgithubbuild
windowsgithubbuild
December 19, 2023 17:01 15m 22s
Windows Windows #23: Manually run by NikolajBjorner
December 19, 2023 05:30 15m 32s windowsgithubbuild
windowsgithubbuild
December 19, 2023 05:30 15m 32s
try this Windows #22: Commit c652946 pushed by NikolajBjorner
December 19, 2023 05:29 Failure windowsgithubbuild
windowsgithubbuild
December 19, 2023 05:29 Failure
Windows Windows #21: Manually run by NikolajBjorner
December 19, 2023 05:24 15m 56s windowsgithubbuild
windowsgithubbuild
December 19, 2023 05:24 15m 56s
try this Windows #20: Commit 5600cac pushed by NikolajBjorner
December 19, 2023 05:22 Failure windowsgithubbuild
windowsgithubbuild
December 19, 2023 05:22 Failure
Windows Windows #19: Manually run by NikolajBjorner
December 19, 2023 05:15 1m 40s windowsgithubbuild
windowsgithubbuild
December 19, 2023 05:15 1m 40s
Windows Windows #18: Manually run by NikolajBjorner
December 19, 2023 05:15 19s master
master
December 19, 2023 05:15 19s
Windows Windows #17: Manually run by NikolajBjorner
December 19, 2023 05:11 2m 32s windowsgithubbuild
windowsgithubbuild
December 19, 2023 05:11 2m 32s
Windows Windows #16: Manually run by NikolajBjorner
December 19, 2023 05:06 15m 53s windowsgithubbuild
windowsgithubbuild
December 19, 2023 05:06 15m 53s
Windows Windows #15: Manually run by NikolajBjorner
December 19, 2023 05:04 45s windowsgithubbuild
windowsgithubbuild
December 19, 2023 05:04 45s
Windows Windows #14: Manually run by NikolajBjorner
December 19, 2023 04:54 33s master
master
December 19, 2023 04:54 33s
Windows Windows #13: Manually run by NikolajBjorner
December 19, 2023 04:51 33s master
master
December 19, 2023 04:51 33s
Windows Windows #12: Manually run by NikolajBjorner
December 19, 2023 04:45 36s master
master
December 19, 2023 04:45 36s
Windows Windows #11: Manually run by NikolajBjorner
December 19, 2023 04:41 37s master
master
December 19, 2023 04:41 37s
Windows Windows #10: Manually run by NikolajBjorner
December 19, 2023 04:33 31s master
master
December 19, 2023 04:33 31s
Windows Windows #9: Manually run by NikolajBjorner
December 19, 2023 04:32 30s master
master
December 19, 2023 04:32 30s
ProTip! You can narrow down the results and go further in time using created:<2023-12-19 or the other filters available.