Kind 2 DockerHub

Fix download of cvc5 in Dockerfile #379

Sign in to view logs

Triggered via push June 14, 2024 16:06

develop

Status Skipped

Total duration 3s

Artifacts –

kind2-docker.yml

on: push

build-and-publish