Skip to content

Merge pull request #9: add CI #1

Merge pull request #9: add CI

Merge pull request #9: add CI #1

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

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
PDF Expired
543 KB