Skip to content
container

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

Sign in to view logs

Allow z3-solver<=4.13.0.0, streamline Dockerfile

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

Triggered via pull request August 9, 2024 07:55
@dbastdbast
synchronize #1867
dbast:z3-solver
Status Success
Total duration 25m 48s
Artifacts –

container.yml

on: pull_request
test
25m 40s
test
Fit to window
Zoom out
Zoom in