Skip to content

Actions: NikolajBjorner/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 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