Skip to content
Enforce single-commit PR

[docker] add z3 5.0.0 to docker environment #355

Sign in to view logs

[docker] add z3 5.0.0 to docker environment

[docker] add z3 5.0.0 to docker environment #355

Triggered via pull request July 17, 2026 07:45
@fdupressfdupress
opened #1081
docker-z3-5.0.0
Status Success
Total duration 9s
Artifacts –

enforce-single-commit.yml

on: pull_request
check-commit-count
4s
check-commit-count
Fit to window
Zoom out
Zoom in