Docs

Merge pull request #29 from moves-rwth/22-more-options #10

Sign in to view logs

Summary
Jobs
- pre-commit
Run details
- Usage
- Workflow file

Triggered via push July 10, 2024 15:56

YouGuessedMyName

main

Status Success

Total duration 2m 25s

Artifacts –

docs.yml

on: push