Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,335 workflow runs
9,335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Preserve fingerprint in trace (#7534) WebAssembly Build #3508: Commit 2050fc3 pushed by NikolajBjorner
January 27, 2025 21:09 17m 23s master
master
January 27, 2025 21:09 17m 23s
Preserve fingerprint in trace (#7534) Open Issues #2878: Commit 2050fc3 pushed by NikolajBjorner
January 27, 2025 21:09 31m 57s master
master
January 27, 2025 21:09 31m 57s
Preserve fingerprint in trace (#7534) Android Build #2692: Commit 2050fc3 pushed by NikolajBjorner
January 27, 2025 21:09 11m 27s master
master
January 27, 2025 21:09 11m 27s
Preserve fingerprint in trace (#7534) Windows #671: Commit 2050fc3 pushed by NikolajBjorner
January 27, 2025 21:09 1h 2m 29s master
master
January 27, 2025 21:09 1h 2m 29s
Preserve fingerprint in trace (#7534) MSVC Clang-CL Static Build #571: Commit 2050fc3 pushed by NikolajBjorner
January 27, 2025 21:09 30m 24s master
master
January 27, 2025 21:09 30m 24s
Preserve fingerprint in trace (#7534) MSVC Static Build #3836: Commit 2050fc3 pushed by NikolajBjorner
January 27, 2025 21:09 28m 21s master
master
January 27, 2025 21:09 28m 21s
Preserve fingerprint in trace (#7534) RISC V and PowerPC 64 #4775: Commit 2050fc3 pushed by NikolajBjorner
January 27, 2025 21:09 20m 55s master
master
January 27, 2025 21:09 20m 55s
Mark fixed_eq literals as relevant (#7533) Android Build #2691: Commit 2d8f024 pushed by NikolajBjorner
January 27, 2025 19:10 11m 42s master
master
January 27, 2025 19:10 11m 42s
Mark fixed_eq literals as relevant (#7533) Open Issues #2877: Commit 2d8f024 pushed by NikolajBjorner
January 27, 2025 19:10 32m 37s master
master
January 27, 2025 19:10 32m 37s
Mark fixed_eq literals as relevant (#7533) WebAssembly Build #3506: Commit 2d8f024 pushed by NikolajBjorner
January 27, 2025 19:10 17m 35s master
master
January 27, 2025 19:10 17m 35s
Mark fixed_eq literals as relevant (#7533) MSVC Static Build #3834: Commit 2d8f024 pushed by NikolajBjorner
January 27, 2025 19:10 29m 14s master
master
January 27, 2025 19:10 29m 14s
Mark fixed_eq literals as relevant (#7533) Windows #670: Commit 2d8f024 pushed by NikolajBjorner
January 27, 2025 19:10 1h 6m 46s master
master
January 27, 2025 19:10 1h 6m 46s
Mark fixed_eq literals as relevant (#7533) Pyodide Build #245: Commit 2d8f024 pushed by NikolajBjorner
January 27, 2025 19:10 21m 21s master
master
January 27, 2025 19:10 21m 21s
Mark fixed_eq literals as relevant (#7533) MSVC Clang-CL Static Build #569: Commit 2d8f024 pushed by NikolajBjorner
January 27, 2025 19:10 32m 27s master
master
January 27, 2025 19:10 32m 27s
Mark fixed_eq literals as relevant (#7533) RISC V and PowerPC 64 #4773: Commit 2d8f024 pushed by NikolajBjorner
January 27, 2025 19:10 20m 43s master
master
January 27, 2025 19:10 20m 43s
fix build Windows #669: Commit 63f9fda pushed by NikolajBjorner
January 27, 2025 18:52 1h 4m 52s master
master
January 27, 2025 18:52 1h 4m 52s
fix build RISC V and PowerPC 64 #4772: Commit 63f9fda pushed by NikolajBjorner
January 27, 2025 18:52 20m 39s master
master
January 27, 2025 18:52 20m 39s
fix build MSVC Clang-CL Static Build #568: Commit 63f9fda pushed by NikolajBjorner
January 27, 2025 18:52 33m 1s master
master
January 27, 2025 18:52 33m 1s
fix build WebAssembly Build #3505: Commit 63f9fda pushed by NikolajBjorner
January 27, 2025 18:52 16m 59s master
master
January 27, 2025 18:52 16m 59s
fix build Open Issues #2876: Commit 63f9fda pushed by NikolajBjorner
January 27, 2025 18:52 32m 31s master
master
January 27, 2025 18:52 32m 31s
fix build Pyodide Build #244: Commit 63f9fda pushed by NikolajBjorner
January 27, 2025 18:52 20m 55s master
master
January 27, 2025 18:52 20m 55s
fix build Android Build #2690: Commit 63f9fda pushed by NikolajBjorner
January 27, 2025 18:52 11m 56s master
master
January 27, 2025 18:52 11m 56s
fix build MSVC Static Build #3833: Commit 63f9fda pushed by NikolajBjorner
January 27, 2025 18:52 29m 5s master
master
January 27, 2025 18:52 29m 5s
updates to handle bugs exposed by qf-abv for local search MSVC Clang-CL Static Build #567: Commit b6e7b80 pushed by NikolajBjorner
January 27, 2025 18:35 27m 13s master
master
January 27, 2025 18:35 27m 13s
updates to handle bugs exposed by qf-abv for local search Windows #668: Commit b6e7b80 pushed by NikolajBjorner
January 27, 2025 18:35 1h 1m 57s master
master
January 27, 2025 18:35 1h 1m 57s