Merge pull request #15 from gruenich/feature/improvements-from-dune-p… #20

Sign in to view logs

Triggered via push December 2, 2023 07:27

dokempf

main

Status Success

Total duration 14s

Artifacts –

ci.yml

on: push

Testing UseLatexMk