Merge pull request #217 from e-kwsm/tmp #13

Triggered via push May 24, 2026 11:46

djb-rwth

dev

Status Success

Total duration 5m 22s

Artifacts 1

deploy_pages.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	420 MB	`sha256:40bd8d14553cafdaee2021118f7619117fb8b48e6e45f457b617685bfcea14bc`