Docs

Merge pull request #181 from moves-rwth/remove-action-names #193

Triggered via push February 9, 2025 11:21

PimLeerkes

main

Status Success

Total duration 2m 46s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	657 KB