Merge pull request #3614 from nikomatsakis/project-goals #175

Triggered via push April 29, 2024 16:12

ehuss

master

Status Success

Total duration 42s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	20.3 MB