Rename proof-tree-eiko-web.png to screenshot-proof-tree-v0.9.png #10

Triggered via push October 23, 2025 05:51

mkroetzsch

main

Status Success

Total duration 1m 7s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.13 MB	`sha256:0d8686eb57896482252af312bc561aa59d8686745f6c5c23e8886510d1e05ebf`