docker-ci

HolSmt: remove unneeded proof and enable more tests #328

Sign in to view logs

Triggered via push January 24, 2024 03:44

mn200

develop

Status Success

Total duration 59m 51s

Artifacts –

docker-ci.yml

on: push