Update announcement banner · MiniZinc/minizinc.github.io@dd3a87d

Triggered via push July 14, 2025 07:35

cyderize

main

Status Success

Total duration 3m 40s

Artifacts 1

nextjs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	131 MB	`sha256:128d5bd2d92a2f52b8f4f29302247da8eca2cbd3fec2278236b86a50f88c58b8`