Skip to content

Revert "Temporarily disable miri on doctests" #1519

Revert "Temporarily disable miri on doctests"

Revert "Temporarily disable miri on doctests" #1519

Triggered via push April 8, 2024 18:55
Status Success
Total duration 1m 33s
Artifacts

ci.yml

on: push
Minimal versions
12s
Minimal versions
Documentation
13s
Documentation
Miri
50s
Miri
Matrix: test
Fit to window
Zoom out
Zoom in