CI

Merge pull request #25 from pep-dortmund/minted_in_latex #42

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push September 26, 2025 17:00

chrbeckm

main

Status Success

Total duration 3m 45s

Artifacts –

ci.yml

on: push