Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Coverage Code Coverage #3986: Scheduled
November 22, 2024 11:06 29m 47s master
master
November 22, 2024 11:06 29m 47s
change int_solver to call find_cube and hnf_cut, conditionally MSVC Static Build #3568: Commit 7c46ce6 pushed by levnach
November 22, 2024 03:34 15m 30s dio
dio
November 22, 2024 03:34 15m 30s
change int_solver to call find_cube and hnf_cut, conditionally RISC V and PowerPC 64 #4507: Commit 7c46ce6 pushed by levnach
November 22, 2024 03:34 17m 38s dio
dio
November 22, 2024 03:34 17m 38s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS Open Issues #2683: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 32m 15s master
master
November 21, 2024 19:32 32m 15s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS MSVC Clang-CL Static Build #333: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 23m 6s master
master
November 21, 2024 19:32 23m 6s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS Windows #476: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 1h 0m 29s master
master
November 21, 2024 19:32 1h 0m 29s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS RISC V and PowerPC 64 #4506: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 21m 45s master
master
November 21, 2024 19:32 21m 45s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS Android Build #2497: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 11m 46s master
master
November 21, 2024 19:32 11m 46s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS Pyodide Build #51: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 20m 26s master
master
November 21, 2024 19:32 20m 26s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS MSVC Static Build #3567: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 28m 25s master
master
November 21, 2024 19:32 28m 25s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS WebAssembly Build #3285: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 13m 7s master
master
November 21, 2024 19:32 13m 7s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS Code Coverage #3985: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 30m 13s master
master
November 21, 2024 19:32 30m 13s
#7418 - circumvent use of timer threads to make WASM integration of z… WebAssembly Build #3284: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 13m 9s master
master
November 21, 2024 19:20 13m 9s
#7418 - circumvent use of timer threads to make WASM integration of z… Pyodide Build #50: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 13m 3s master
master
November 21, 2024 19:20 13m 3s
#7418 - circumvent use of timer threads to make WASM integration of z… Windows #475: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 58m 47s master
master
November 21, 2024 19:20 58m 47s
#7418 - circumvent use of timer threads to make WASM integration of z… MSVC Clang-CL Static Build #332: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 21m 39s master
master
November 21, 2024 19:20 21m 39s
#7418 - circumvent use of timer threads to make WASM integration of z… RISC V and PowerPC 64 #4505: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 21m 44s master
master
November 21, 2024 19:20 21m 44s
#7418 - circumvent use of timer threads to make WASM integration of z… MSVC Static Build #3566: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 28m 10s master
master
November 21, 2024 19:20 28m 10s
#7418 - circumvent use of timer threads to make WASM integration of z… Android Build #2496: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 11m 19s master
master
November 21, 2024 19:20 11m 19s
#7418 - circumvent use of timer threads to make WASM integration of z… Open Issues #2682: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 35m 26s master
master
November 21, 2024 19:20 35m 26s
#7418 - circumvent use of timer threads to make WASM integration of z… Code Coverage #3984: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 30m 0s master
master
November 21, 2024 19:20 30m 0s
Code Coverage Code Coverage #3983: Scheduled
November 21, 2024 11:05 30m 0s master
master
November 21, 2024 11:05 30m 0s
Code Coverage Code Coverage #3982: Scheduled
November 20, 2024 11:05 29m 34s master
master
November 20, 2024 11:05 29m 34s
remove the use-pthread Pyodide Build #49: Commit 94f0aff pushed by NikolajBjorner
November 20, 2024 03:55 20m 10s master
master
November 20, 2024 03:55 20m 10s
remove the use-pthread MSVC Clang-CL Static Build #331: Commit 94f0aff pushed by NikolajBjorner
November 20, 2024 03:55 20m 47s master
master
November 20, 2024 03:55 20m 47s