Skip to content

Actions: NikolajBjorner/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #27: Manually run by NikolajBjorner
January 20, 2024 22:05 50m 46s master
master
January 20, 2024 22:05 50m 46s
Windows Windows #26: Manually run by NikolajBjorner
January 20, 2024 21:03 44m 18s master
master
January 20, 2024 21:03 44m 18s
Windows Windows #25: Manually run by NikolajBjorner
January 18, 2024 22:31 50m 26s master
master
January 18, 2024 22:31 50m 26s
Windows Windows #24: Manually run by NikolajBjorner
January 18, 2024 20:49 32m 3s master
master
January 18, 2024 20:49 32m 3s
Windows Windows #23: Manually run by NikolajBjorner
January 18, 2024 19:35 31m 2s master
master
January 18, 2024 19:35 31m 2s
Windows Windows #22: Manually run by NikolajBjorner
January 18, 2024 19:30 33s master
master
January 18, 2024 19:30 33s
Windows Windows #21: Manually run by NikolajBjorner
January 15, 2024 21:24 24m 32s master
master
January 15, 2024 21:24 24m 32s
Windows Windows #20: Manually run by NikolajBjorner
January 15, 2024 18:57 21m 31s master
master
January 15, 2024 18:57 21m 31s
Windows Windows #19: Manually run by NikolajBjorner
January 15, 2024 18:10 22m 1s master
master
January 15, 2024 18:10 22m 1s
Windows Windows #18: Manually run by NikolajBjorner
January 15, 2024 18:07 1m 37s master
master
January 15, 2024 18:07 1m 37s
Windows Windows #17: Manually run by NikolajBjorner
January 15, 2024 17:04 25m 28s master
master
January 15, 2024 17:04 25m 28s
Windows Windows #16: Manually run by NikolajBjorner
January 15, 2024 17:02 33s master
master
January 15, 2024 17:02 33s
Windows Windows #15: Manually run by NikolajBjorner
January 14, 2024 21:31 25m 11s master
master
January 14, 2024 21:31 25m 11s
Windows Windows #14: Manually run by NikolajBjorner
January 14, 2024 02:25 23m 51s master
master
January 14, 2024 02:25 23m 51s
Windows Windows #13: Manually run by NikolajBjorner
January 12, 2024 17:18 24m 5s master
master
January 12, 2024 17:18 24m 5s
Windows Windows #12: Manually run by NikolajBjorner
January 12, 2024 17:07 50s master
master
January 12, 2024 17:07 50s
Windows Windows #11: Manually run by NikolajBjorner
January 12, 2024 01:36 47s master
master
January 12, 2024 01:36 47s
Windows Windows #10: Manually run by NikolajBjorner
January 11, 2024 23:25 44s master
master
January 11, 2024 23:25 44s
Windows Windows #9: Manually run by NikolajBjorner
January 11, 2024 22:52 24m 1s master
master
January 11, 2024 22:52 24m 1s
Windows Windows #8: Manually run by NikolajBjorner
January 11, 2024 22:48 Startup failure master
master
January 11, 2024 22:48 Startup failure
Windows Windows #7: Manually run by NikolajBjorner
January 11, 2024 22:45 Startup failure master
master
January 11, 2024 22:45 Startup failure
Windows Windows #6: Manually run by NikolajBjorner
January 11, 2024 22:10 2m 30s master
master
January 11, 2024 22:10 2m 30s
add bindings Windows #5: Commit d2d700d pushed by NikolajBjorner
January 11, 2024 22:06 Failure master
master
January 11, 2024 22:06 Failure
Windows Windows #4: Manually run by NikolajBjorner
January 11, 2024 22:05 25m 42s master
master
January 11, 2024 22:05 25m 42s
Windows Windows #3: Manually run by NikolajBjorner
January 11, 2024 22:01 45s master
master
January 11, 2024 22:01 45s