Deploy

Document Tree Borrows (#578) #62

Triggered via push August 19, 2025 12:22

RalfJung

master

Status Success

Total duration 31s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.23 MB	`sha256:7e659c2c2d315bb653fb4f96d01232ac9e866b55ff3b2f58129e7eaff4857a81`