Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
519 workflow run results
519 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "Disable Python compilation cache during build" WebAssembly Build #2530: Pull request #7054 opened by NikolajBjorner
December 14, 2023 03:31 11m 25s revert-7052-cwinter_pycache_disable
revert-7052-cwinter_pycache_disable
December 14, 2023 03:31 11m 25s
fix #7053 WebAssembly Build #2529: Commit b40e301 pushed by NikolajBjorner
December 14, 2023 03:25 11m 23s master
master
December 14, 2023 03:25 11m 23s
nightly WebAssembly Build #2528: Commit c20b8cb pushed by NikolajBjorner
December 14, 2023 02:46 11m 9s master
master
December 14, 2023 02:46 11m 9s
remove readme reference, add arm64 build to nightly WebAssembly Build #2527: Commit 995b408 pushed by NikolajBjorner
December 14, 2023 02:44 11m 19s master
master
December 14, 2023 02:44 11m 19s
Disable Python compilation cache during build (#7052) WebAssembly Build #2526: Commit 8293be8 pushed by NikolajBjorner
December 14, 2023 02:05 11m 23s master
master
December 14, 2023 02:05 11m 23s
tptr.h: Include <cstdint> once rather than twice. (#7051) WebAssembly Build #2523: Commit 3ebec56 pushed by NikolajBjorner
December 13, 2023 17:36 11m 25s master
master
December 13, 2023 17:36 11m 25s
fix character WebAssembly Build #2521: Commit 0f4e96a pushed by NikolajBjorner
December 11, 2023 04:50 11m 54s master
master
December 11, 2023 04:50 11m 54s
nuget spec: does this work? WebAssembly Build #2520: Commit 5fc039d pushed by NikolajBjorner
December 10, 2023 20:33 12m 9s master
master
December 10, 2023 20:33 12m 9s
add readme under content WebAssembly Build #2519: Commit 5732c3c pushed by NikolajBjorner
December 10, 2023 19:11 11m 10s master
master
December 10, 2023 19:11 11m 10s
try adding readme again WebAssembly Build #2518: Commit 91837c3 pushed by NikolajBjorner
December 10, 2023 18:22 11m 35s master
master
December 10, 2023 18:22 11m 35s
port updates from poly/polysat WebAssembly Build #2517: Commit 70d4f32 pushed by NikolajBjorner
December 9, 2023 21:00 11m 45s master
master
December 9, 2023 21:00 11m 45s
import updates to rational from polysat WebAssembly Build #2516: Commit e580c38 pushed by NikolajBjorner
December 9, 2023 20:46 11m 19s master
master
December 9, 2023 20:46 11m 19s
follow error message to put dependencies in setup args WebAssembly Build #2515: Commit 575538d pushed by NikolajBjorner
December 9, 2023 02:38 11m 15s master
master
December 9, 2023 02:38 11m 15s
add version WebAssembly Build #2514: Commit 4123405 pushed by NikolajBjorner
December 8, 2023 23:50 11m 6s master
master
December 8, 2023 23:50 11m 6s
try add name to project WebAssembly Build #2513: Commit 6282f40 pushed by NikolajBjorner
December 8, 2023 22:57 11m 32s master
master
December 8, 2023 22:57 11m 32s
try fix suggested in #7041 WebAssembly Build #2512: Commit 7e716f7 pushed by NikolajBjorner
December 8, 2023 21:12 11m 19s master
master
December 8, 2023 21:12 11m 19s
fix #7049 WebAssembly Build #2511: Commit 8e26c2a pushed by NikolajBjorner
December 8, 2023 21:05 11m 18s master
master
December 8, 2023 21:05 11m 18s
kludge to fixup osver in python for Mac WebAssembly Build #2510: Commit 6cd619d pushed by NikolajBjorner
December 8, 2023 19:40 11m 28s master
master
December 8, 2023 19:40 11m 28s
fix divergence reported by Guido Martinez WebAssembly Build #2509: Commit 4d1d067 pushed by NikolajBjorner
December 7, 2023 21:34 11m 22s master
master
December 7, 2023 21:34 11m 22s
simple scheme of choosing a column for gomory cut WebAssembly Build #2508: Pull request #7039 synchronize by levnach
December 7, 2023 18:47 11m 23s gcut
gcut
December 7, 2023 18:47 11m 23s
simple scheme of choosing a column for gomory cut WebAssembly Build #2507: Pull request #7039 synchronize by levnach
December 7, 2023 17:11 11m 40s gcut
gcut
December 7, 2023 17:11 11m 40s
simple scheme of choosing a column for gomory cut WebAssembly Build #2506: Pull request #7039 synchronize by levnach
December 7, 2023 02:09 11m 18s gcut
gcut
December 7, 2023 02:09 11m 18s
update minor version number WebAssembly Build #2505: Commit 6afed08 pushed by NikolajBjorner
December 6, 2023 15:13 11m 36s master
master
December 6, 2023 15:13 11m 36s
add release notes WebAssembly Build #2504: Commit dce2f3d pushed by NikolajBjorner
December 6, 2023 15:11 11m 31s master
master
December 6, 2023 15:11 11m 31s
remove readme for dist WebAssembly Build #2503: Commit b3ef74c pushed by NikolajBjorner
December 6, 2023 02:50 11m 27s master
master
December 6, 2023 02:50 11m 27s