Skip to content
Miri

Fix two cross-references in BasisTranslator docstring #1

Sign in to view logs

Fix two cross-references in BasisTranslator docstring

Fix two cross-references in BasisTranslator docstring #1

Triggered via push May 14, 2024 15:08
@garrisongarrison
pushed cd2ec00
basistranslator-xref
Status Skipped
Total duration 3s
Artifacts –

miri.yml

on: push
Miri
0s
Miri
Fit to window
Zoom out
Zoom in