Deploy

Merge pull request #3764 from nikomatsakis/2025h1 #235

Triggered via push February 19, 2025 13:52

master

Status Success

Total duration 38s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	15.3 MB	`sha256:5f1e1138fbc7761136123d5325227a95c6add54e19ec3b63f4aec7c69c60d6c6`