Skip to content
CI

Upstream changes from Dune Project #18

Sign in to view logs

Upstream changes from Dune Project

Upstream changes from Dune Project #18

Triggered via pull request November 22, 2023 19:41
@gruenichgruenich
opened #15
feature/improvements-from-dune-project
Status Success
Total duration 17s
Artifacts –

ci.yml

on: pull_request
Testing UseLatexMk
7s
Testing UseLatexMk
Fit to window
Zoom out
Zoom in