Skip to content

Actions: VeriFIT/z3-noodler

Actions

MSVC Clang-CL Static Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msvc-static-build-clang-cl.yml
This workflow was disabled manually.
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Z3 to 4.13.4 MSVC Clang-CL Static Build #4: Pull request #205 synchronize by jurajsic
January 1, 2025 14:52 12m 49s new_z3_4.13.4
new_z3_4.13.4
January 1, 2025 14:52 12m 49s
turn off new rewriter rule which makes noodler not work correctly MSVC Clang-CL Static Build #3: Commit 983a432 pushed by jurajsic
January 1, 2025 14:52 12m 15s new_z3_4.13.4
new_z3_4.13.4
January 1, 2025 14:52 12m 15s
Update Z3 to 4.13.4 MSVC Clang-CL Static Build #2: Pull request #205 opened by jurajsic
December 31, 2024 13:33 12m 57s new_z3_4.13.4
new_z3_4.13.4
December 31, 2024 13:33 12m 57s
Merge branch 'master' into new_z3_4.13.4 MSVC Clang-CL Static Build #1: Commit d935db5 pushed by jurajsic
December 31, 2024 13:32 12m 21s new_z3_4.13.4
new_z3_4.13.4
December 31, 2024 13:32 12m 21s