Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix #8102 WebAssembly Build #4951: Commit cb5fb39 pushed by NikolajBjorner
17m 24s master
master
17m 24s
Some changes to improve LIA performance (#8101) WebAssembly Build #4950: Commit eb56ac4 pushed by NikolajBjorner
17m 22s master
master
17m 22s
remove flight test WebAssembly Build #4948: Commit 97acdb8 pushed by NikolajBjorner
17m 38s master
master
17m 38s
next flight test WebAssembly Build #4947: Commit 0c8a219 pushed by NikolajBjorner
18m 0s master
master
18m 0s
update to macos-latest WebAssembly Build #4944: Commit a0554b1 pushed by NikolajBjorner
17m 23s master
master
17m 23s
naming convention WebAssembly Build #4943: Commit 880cf01 pushed by NikolajBjorner
17m 37s master
master
17m 37s
indent WebAssembly Build #4942: Commit feda43a pushed by NikolajBjorner
18m 14s master
master
18m 14s
flight test copilot generated slop? WebAssembly Build #4941: Commit db46a11 pushed by NikolajBjorner
17m 40s master
master
17m 40s
fix #8097 WebAssembly Build #4940: Commit ed5312f pushed by NikolajBjorner
17m 47s master
master
17m 47s
Update docs.yml WebAssembly Build #4939: Commit 5ceb312 pushed by NikolajBjorner
17m 20s master
master
17m 20s
Fix docs.yml workflow: specify working directory for npm commands (#8… WebAssembly Build #4938: Commit 06658a1 pushed by NikolajBjorner
17m 44s master
master
17m 44s
na WebAssembly Build #4935: Commit ca62133 pushed by NikolajBjorner
17m 45s master
master
17m 45s
set build directory WebAssembly Build #4934: Commit 6584084 pushed by NikolajBjorner
17m 41s master
master
17m 41s
make build directory configurable WebAssembly Build #4933: Commit 1220352 pushed by NikolajBjorner
17m 32s master
master
17m 32s
Refactor documentation workflow to simplify installation WebAssembly Build #4932: Commit baded7f pushed by NikolajBjorner
18m 13s master
master
18m 13s
Fix Z3BUILD environment variable in docs workflow WebAssembly Build #4931: Commit 8f73a29 pushed by NikolajBjorner
17m 40s master
master
17m 40s
set build be configurable by env WebAssembly Build #4930: Commit 38a0cc1 pushed by NikolajBjorner
17m 47s master
master
17m 47s
fix build dir WebAssembly Build #4929: Commit abd8b51 pushed by NikolajBjorner
17m 32s master
master
17m 32s
try adding wasm as separate step WebAssembly Build #4928: Commit 2f6f5ff pushed by NikolajBjorner
17m 42s master
master
17m 42s
Update docs.yml WebAssembly Build #4927: Commit 792434e pushed by NikolajBjorner
18m 2s master
master
18m 2s
Modify docs.yml to generate JS documentation WebAssembly Build #4926: Commit 5e22b82 pushed by NikolajBjorner
17m 34s master
master
17m 34s
enable js WebAssembly Build #4925: Commit f901646 pushed by NikolajBjorner
17m 27s master
master
17m 27s
include paramters WebAssembly Build #4924: Commit 909e41c pushed by NikolajBjorner
17m 54s master
master
17m 54s
updated with env ocaml WebAssembly Build #4923: Commit 1cccbfd pushed by NikolajBjorner
14m 21s master
master
14m 21s
update doc WebAssembly Build #4922: Commit 89e5e29 pushed by NikolajBjorner
17m 35s master
master
17m 35s