ci: Fix uploading release documentation. (#9954) · HanielB/cvc5@d48161e

Triggered via push August 18, 2023 14:44

HanielB

main

Status Success

Total duration 1h 1m 29s

Artifacts 1

ci.yml

on: push

Matrix: build

Produced during runtime

Name	Size
documentation Expired	13.3 MB