Skip to content
container

Allow z3-solver<=4.13.0.0, streamline Dockerfile #3

Sign in to view logs

Allow z3-solver<=4.13.0.0, streamline Dockerfile

Allow z3-solver<=4.13.0.0, streamline Dockerfile #3

Triggered via pull request August 8, 2024 18:59
@dbastdbast
synchronize #1867
dbast:z3-solver
Status Success
Total duration 26m 58s
Artifacts –

container.yml

on: pull_request
test
26m 34s
test
Fit to window
Zoom out
Zoom in