ci: Fix uploading release documentation. · mpreiner/cvc5@c2af90d

Triggered via push August 15, 2023 19:23

mpreiner

Status Success

Total duration 51m 33s

Artifacts 1

ci.yml

on: push

Matrix: build

Produced during runtime

Name	Size
documentation Expired	13.3 MB