Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Publish

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm-release.yml
6 workflow runs
6 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
z3-4.13.0 WebAssembly Publish #17: Release z3-4.13.0 published by NikolajBjorner
March 7, 2024 19:21 11m 46s
March 7, 2024 19:21 11m 46s
z3-4.12.6 WebAssembly Publish #16: Release z3-4.12.6 published by NikolajBjorner
February 25, 2024 09:35 11m 33s
February 25, 2024 09:35 11m 33s
z3-4.12.5 WebAssembly Publish #15: Release z3-4.12.5 published by NikolajBjorner
January 21, 2024 20:13 11m 35s
January 21, 2024 20:13 11m 35s
z3-4.12.4 WebAssembly Publish #14: Release z3-4.12.4 published by NikolajBjorner
December 6, 2023 17:01 11m 29s
December 6, 2023 17:01 11m 29s
z3-4.12.3 WebAssembly Publish #13: Release z3-4.12.3 published by NikolajBjorner
December 5, 2023 04:31 11m 23s
December 5, 2023 04:31 11m 23s
z3-4.12.2 WebAssembly Publish #12: Release z3-4.12.2 published by NikolajBjorner
May 12, 2023 21:30 3h 5m 3s
May 12, 2023 21:30 3h 5m 3s