Update incorrect optimality proof challenge results · MiniZinc/minizinc.github.io@6ec0ab8

Triggered via push January 14, 2026 00:09

cyderize

main

Status Success

Total duration 3m 12s

Artifacts 1

nextjs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	183 MB	`sha256:beb844da4c9529aa43ca9a4e8f79a56cc366befc828db469f6e47646133fe7fa`