CI

Merge pull request #21 from pep-dortmund/remove_scrhack #31

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push July 25, 2025 19:51

chrbeckm

main

Status Success

Total duration 4m 35s

Artifacts –

ci.yml

on: push