Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
1,035 workflow runs
1,035 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
try to put readme in root WebAssembly Build #2502: Commit fc3a765 pushed by NikolajBjorner
December 6, 2023 02:06 11m 39s master
master
December 6, 2023 02:06 11m 39s
add README path to mk_nuget_task WebAssembly Build #2501: Commit 2c8d338 pushed by NikolajBjorner
December 6, 2023 00:38 11m 24s master
master
December 6, 2023 00:38 11m 24s
add README path to mk_nuget_task WebAssembly Build #2500: Commit 8111d87 pushed by NikolajBjorner
December 6, 2023 00:37 11m 13s master
master
December 6, 2023 00:37 11m 13s
update release WebAssembly Build #2499: Commit 1fde3e9 pushed by NikolajBjorner
December 6, 2023 00:17 11m 28s master
master
December 6, 2023 00:17 11m 28s
make var-queue a template WebAssembly Build #2498: Commit 1d6616a pushed by NikolajBjorner
December 5, 2023 23:41 11m 25s master
master
December 5, 2023 23:41 11m 25s
use / for package path WebAssembly Build #2497: Commit 156426a pushed by NikolajBjorner
December 5, 2023 23:10 11m 28s master
master
December 5, 2023 23:10 11m 28s
update path reference to readme WebAssembly Build #2496: Commit 111ce01 pushed by NikolajBjorner
December 5, 2023 21:47 11m 37s master
master
December 5, 2023 21:47 11m 37s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.