correctly getting names and printing them when quoted · HanielB/cvc5@2ef1c91

Triggered via push February 27, 2024 20:07

HanielB

aletheError

Status Success

Total duration 39m 44s

Artifacts 1

ci.yml

on: push

Matrix: build

Produced during runtime

Name	Size
documentation Expired	4.15 MB