Skip to content

Merge pull request #9: add CI #2

Merge pull request #9: add CI

Merge pull request #9: add CI #2

Triggered via push September 8, 2023 17:38
Status Success
Total duration 19s
Artifacts 1

ci.yml

on: push
compile
9s
compile
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
PDF Expired
543 KB