Merge pull request #25 from ved-rivos/1215 #44

Triggered via push December 18, 2023 15:25

ved-rivos

main

Status Success

Total duration 1m 33s

Artifacts 1

build-pdf.yml

on: push

Produced during runtime

Name	Size
Build Artifacts Expired	89.4 KB