Disable proof tester for regression. (#11741) · HanielB/cvc5@c1bdfd3

Triggered via push March 14, 2025 18:57

HanielB

main

Status Success

Total duration 24m 4s

Artifacts 1

ci.yml

on: push

Matrix: builds

Produced during runtime

Name	Size	Digest
documentation	5.02 MB	`sha256:d2b39fb1d7aba526c854938ad937a101f0c53e7975b7ece51209139de4f10989`