Move Henk to former members section · MiniZinc/minizinc.github.io@2314c64

Triggered via push November 23, 2025 06:06

guidotack

main

Status Success

Total duration 3m 4s

Artifacts 1

nextjs.yml

on: push

Produced during runtime

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