Deploy

Merge pull request #481 from RalfJung/deliberate-ub #30

Triggered via push December 8, 2023 09:53

RalfJung

master

Status Success

Total duration 31s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	3.16 MB