Skip to content
Check Doc Syntax

Add metrics for serial id and event time #2313

Sign in to view logs

Add metrics for serial id and event time

Add metrics for serial id and event time #2313

Triggered via push October 17, 2024 13:09
@danielle-tfhdanielle-tfh
pushed eb004eb
POP-1925/add-metrics
Status Success
Total duration 2m 44s
Artifacts –

doc.yml

on: push
doc
2m 36s
doc
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
doc: iris-mpc-gpu/src/helpers/comm.rs#L58
Rust code block is empty
doc: iris-mpc-gpu/src/helpers/comm.rs#L51
unclosed HTML tag `f32`