Skip to content

Merge pull request #14 from gruenich/feature/update-CI #15

Merge pull request #14 from gruenich/feature/update-CI

Merge pull request #14 from gruenich/feature/update-CI #15

Triggered via push November 21, 2023 10:12
Status Success
Total duration 48s
Artifacts

ci.yml

on: push
Testing UseLatexMk
38s
Testing UseLatexMk
Fit to window
Zoom out
Zoom in