Skip to content

Bump the development group with 2 updates #726

Bump the development group with 2 updates

Bump the development group with 2 updates #726

Triggered via push December 2, 2024 08:54
Status Success
Total duration 1m 31s
Artifacts 3

build.yml

on: push
Build wasm version of MiniZinc
31s
Build wasm version of MiniZinc
Build and test minizinc-js
38s
Build and test minizinc-js
Publish minizinc-js
0s
Publish minizinc-js
Publish documentation
0s
Publish documentation
Post-publish minizinc-js
0s
Post-publish minizinc-js
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
docs
113 KB
minizinc
9.63 MB
package
4.69 MB