Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Publish

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm-release.yml
11 workflow runs
11 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
z3-4.16.0 WebAssembly Publish #33: Release z3-4.16.0 published by NikolajBjorner
14m 48s
14m 48s
z3-4.15.8 WebAssembly Publish #32: Release z3-4.15.8 published by NikolajBjorner
18m 24s
18m 24s
z3-4.15.7 WebAssembly Publish #30: Release z3-4.15.7 published by NikolajBjorner
18m 28s
18m 28s
z3-4.15.6 WebAssembly Publish #29: Release z3-4.15.6 published by NikolajBjorner
18m 1s
18m 1s
z3-4.15.5 WebAssembly Publish #28: Release z3-4.15.5 published by NikolajBjorner
18m 17s
18m 17s
z3-4.15.4 WebAssembly Publish #27: Release z3-4.15.4 published by NikolajBjorner
19m 2s
19m 2s
z3-4.15.3 WebAssembly Publish #26: Release z3-4.15.3 published by NikolajBjorner
17m 17s
17m 17s
z3-4.15.2 WebAssembly Publish #25: Release z3-4.15.2 published by NikolajBjorner
17m 50s
17m 50s
z3-4.15.1 WebAssembly Publish #24: Release z3-4.15.1 published by NikolajBjorner
18m 9s
18m 9s
z3-4.15.0 WebAssembly Publish #23: Release z3-4.15.0 published by NikolajBjorner
16m 59s
16m 59s
z3-4.14.1 WebAssembly Publish #22: Release z3-4.14.1 published by NikolajBjorner
17m 9s
17m 9s