pre-commit

Add z3 installation to dockerfile #1084

Sign in to view logs

Triggered via pull request February 21, 2025 16:41

fabianbs96

opened #751

f-DockerInstallZ3

Status Success

Total duration 2m 40s

Artifacts –

pre-commit.yml

on: pull_request

Annotations

1 warning

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101