Push Docker Image to GitHub Packages

4.0 polish: docs, examples, property tests, stress tests, optimizer f… #208

Sign in to view logs

Triggered via push April 16, 2026 12:13

gijzelaerr

master

Status Success

Total duration 45m 23s

Artifacts –

docker.yml

on: push

build-and-push-container-image