Skip to content

Actions: NikolajBjorner/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add assert_and_track support to Optimize class in .NET binding MSVC Clang-CL Static Build #2: Commit 4a0bbb1 pushed by NikolajBjorner
October 26, 2024 06:58 19m 47s add-assert-and-track
add-assert-and-track
October 26, 2024 06:58 19m 47s
Add assert_and_track support to Optimize class in .NET binding RISC V and PowerPC 64 #31: Commit 4a0bbb1 pushed by NikolajBjorner
October 26, 2024 06:58 21m 4s add-assert-and-track
add-assert-and-track
October 26, 2024 06:58 21m 4s
Add assert_and_track support to Optimize class in .NET binding MSVC Static Build #25: Commit 4a0bbb1 pushed by NikolajBjorner
October 26, 2024 06:58 25m 20s add-assert-and-track
add-assert-and-track
October 26, 2024 06:58 25m 20s
add shortcut to retrieve kind of application MSVC Clang-CL Static Build #1: Commit 8b657f2 pushed by NikolajBjorner
October 26, 2024 06:58 19m 36s add-assert-and-track
add-assert-and-track
October 26, 2024 06:58 19m 36s
add shortcut to retrieve kind of application RISC V and PowerPC 64 #30: Commit 8b657f2 pushed by NikolajBjorner
October 26, 2024 06:58 21m 24s add-assert-and-track
add-assert-and-track
October 26, 2024 06:58 21m 24s
add shortcut to retrieve kind of application MSVC Static Build #24: Commit 8b657f2 pushed by NikolajBjorner
October 26, 2024 06:58 24m 44s add-assert-and-track
add-assert-and-track
October 26, 2024 06:58 24m 44s
Fix SIGINT handler to use sigaction with SA_ONSTACK flag MSVC Static Build #23: Commit 62b530e pushed by NikolajBjorner
July 27, 2024 06:22 1m 31s fix-sigint-handler
fix-sigint-handler
July 27, 2024 06:22 1m 31s
Fix SIGINT handler to use sigaction with SA_ONSTACK flag RISC V and PowerPC 64 #29: Commit 62b530e pushed by NikolajBjorner
July 27, 2024 06:22 18m 26s fix-sigint-handler
fix-sigint-handler
July 27, 2024 06:22 18m 26s
Bump docker/build-push-action from 6.4.0 to 6.5.0 (#7304) RISC V and PowerPC 64 #28: Commit 1e6b137 pushed by NikolajBjorner
July 27, 2024 06:22 17m 34s fix-sigint-handler
fix-sigint-handler
July 27, 2024 06:22 17m 34s
Bump docker/build-push-action from 6.4.0 to 6.5.0 (#7304) MSVC Static Build #22: Commit 1e6b137 pushed by NikolajBjorner
July 27, 2024 06:22 16m 11s fix-sigint-handler
fix-sigint-handler
July 27, 2024 06:22 16m 11s
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
Publish Docker image Publish Docker image #24: Scheduled
January 14, 2024 02:01 17s master
master
January 14, 2024 02:01 17s