Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,523 workflow runs
8,523 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix typo MSVC Clang-CL Static Build #732: Commit 14390ee pushed by NikolajBjorner
March 3, 2025 02:44 26m 9s master
master
March 3, 2025 02:44 26m 9s
fix typo Windows #769: Commit 14390ee pushed by NikolajBjorner
March 3, 2025 02:44 1h 1m 32s master
master
March 3, 2025 02:44 1h 1m 32s
debug bound propagation RISC V and PowerPC 64 #4949: Commit d7d7241 pushed by levnach
March 3, 2025 01:58 21m 15s dio
dio
March 3, 2025 01:58 21m 15s
debug bound propagation MSVC Static Build #4010: Commit d7d7241 pushed by levnach
March 3, 2025 01:58 27m 46s dio
dio
March 3, 2025 01:58 27m 46s
debug bound propagation MSVC Clang-CL Static Build #731: Commit d7d7241 pushed by levnach
March 3, 2025 01:58 26m 53s dio
dio
March 3, 2025 01:58 26m 53s
fixup nuget task Android Build #2789: Commit 62616cf pushed by NikolajBjorner
March 3, 2025 01:13 11m 44s master
master
March 3, 2025 01:13 11m 44s
fixup nuget task Windows #768: Commit 62616cf pushed by NikolajBjorner
March 3, 2025 01:13 58m 42s master
master
March 3, 2025 01:13 58m 42s
fixup nuget task MSVC Clang-CL Static Build #730: Commit 62616cf pushed by NikolajBjorner
March 3, 2025 01:13 28m 31s master
master
March 3, 2025 01:13 28m 31s
fixup nuget task Pyodide Build #343: Commit 62616cf pushed by NikolajBjorner
March 3, 2025 01:13 20m 37s master
master
March 3, 2025 01:13 20m 37s
fixup nuget task WebAssembly Build #3619: Commit 62616cf pushed by NikolajBjorner
March 3, 2025 01:13 17m 18s master
master
March 3, 2025 01:13 17m 18s
fixup nuget task MSVC Static Build #4009: Commit 62616cf pushed by NikolajBjorner
March 3, 2025 01:13 28m 28s master
master
March 3, 2025 01:13 28m 28s
fixup nuget task RISC V and PowerPC 64 #4948: Commit 62616cf pushed by NikolajBjorner
March 3, 2025 01:13 20m 40s master
master
March 3, 2025 01:13 20m 40s
fixup nuget task Open Issues #2975: Commit 62616cf pushed by NikolajBjorner
March 3, 2025 01:13 32m 42s master
master
March 3, 2025 01:13 32m 42s
adjust printing MSVC Clang-CL Static Build #729: Commit 3224c19 pushed by levnach
March 1, 2025 20:10 26m 57s dio
dio
March 1, 2025 20:10 26m 57s
adjust printing MSVC Static Build #4008: Commit 3224c19 pushed by levnach
March 1, 2025 20:10 28m 24s dio
dio
March 1, 2025 20:10 28m 24s
adjust printing RISC V and PowerPC 64 #4947: Commit 3224c19 pushed by levnach
March 1, 2025 20:10 20m 46s dio
dio
March 1, 2025 20:10 20m 46s
debug dio MSVC Clang-CL Static Build #728: Commit 7cfecaa pushed by levnach
March 1, 2025 19:32 27m 11s dio
dio
March 1, 2025 19:32 27m 11s
debug dio MSVC Static Build #4007: Commit 7cfecaa pushed by levnach
March 1, 2025 19:32 29m 10s dio
dio
March 1, 2025 19:32 29m 10s
debug dio RISC V and PowerPC 64 #4946: Commit 7cfecaa pushed by levnach
March 1, 2025 19:32 20m 24s dio
dio
March 1, 2025 19:32 20m 24s
fix error in mk_nuget_task.py MSVC Clang-CL Static Build #727: Commit d24c488 pushed by NikolajBjorner
March 1, 2025 02:19 26m 24s master
master
March 1, 2025 02:19 26m 24s
fix error in mk_nuget_task.py Pyodide Build #342: Commit d24c488 pushed by NikolajBjorner
March 1, 2025 02:19 20m 57s master
master
March 1, 2025 02:19 20m 57s
fix error in mk_nuget_task.py MSVC Static Build #4006: Commit d24c488 pushed by NikolajBjorner
March 1, 2025 02:19 28m 51s master
master
March 1, 2025 02:19 28m 51s
fix error in mk_nuget_task.py Open Issues #2974: Commit d24c488 pushed by NikolajBjorner
March 1, 2025 02:19 32m 7s master
master
March 1, 2025 02:19 32m 7s
fix error in mk_nuget_task.py WebAssembly Build #3618: Commit d24c488 pushed by NikolajBjorner
March 1, 2025 02:19 17m 5s master
master
March 1, 2025 02:19 17m 5s
fix error in mk_nuget_task.py Android Build #2788: Commit d24c488 pushed by NikolajBjorner
March 1, 2025 02:19 11m 27s master
master
March 1, 2025 02:19 11m 27s