Skip to content
Check Doc Syntax

Add metrics for serial id and event time #2314

Sign in to view logs

Add metrics for serial id and event time

Add metrics for serial id and event time #2314

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

doc.yml

on: push
doc
2m 43s
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`