Skip to content

Merge pull request #3931 from nikomatsakis/rfmf #304

Merge pull request #3931 from nikomatsakis/rfmf

Merge pull request #3931 from nikomatsakis/rfmf #304

Triggered via push May 6, 2026 07:58
Status Success
Total duration 37s
Artifacts 1

deploy.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
13.1 MB
sha256:8105431fa73004e90fe89a73b92ffef1a427430ac77ae9ab7e8a593964f4b5b7