Deploy

Merge pull request #569 from RalfJung/deploy #49

Triggered via push May 19, 2025 18:34

RalfJung

master

Status Success

Total duration 44s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.35 MB	`sha256:14c45ab886b5b5ca9b916d1b1419c53d1d0526a68242590dfa1eb10d3c96e899`