Deploy

Merge pull request #482 from rust-lang/revert-481-deliberate-ub #31

Triggered via push December 11, 2023 12:57

RalfJung

master

Status Success

Total duration 40s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	3.16 MB