Skip to content
Back to pull request #884

Rename SpanValue #5664

Sign in to view logs

Rename SpanValue

Rename SpanValue #5664

Triggered via push February 21, 2025 12:09
@VianneyRuhlmannVianneyRuhlmann
pushed 4be708f
vianney/add-generic-span
Status Success
Total duration 26m 48s
Artifacts –

miri.yml

on: push
run-miri
26m 38s
run-miri
Fit to window
Zoom out
Zoom in