Skip to content

disable strict-provenance-violating doctests in Miri#104710

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:doc-strict-provenance
Nov 22, 2022
Merged

disable strict-provenance-violating doctests in Miri#104710
bors merged 1 commit intorust-lang:masterfrom
RalfJung:doc-strict-provenance

Commits

Commits on Nov 22, 2022