Skip to content
benchmark

Change Edge::label from optional to required (#1205) #185

Sign in to view logs

Change Edge::label from optional to required (#1205)

Change Edge::label from optional to required (#1205) #185

Triggered via push February 4, 2025 22:26
@github-merge-queuegithub-merge-queue[bot]
pushed 103b331
main
Status Success
Total duration 33m 30s
Artifacts 1

benchmark.yml

on: push
benchmark
29m 15s
benchmark
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
benchmarking-data
8.76 MB