Skip to content
Build time benchmarks

fix: don't take build lock for coq top --no-build (#10547) #2342

Sign in to view logs

fix: don't take build lock for coq top --no-build (#10547)

fix: don't take build lock for coq top --no-build (#10547) #2342

Triggered via push May 29, 2024 05:02
@rgrinbergrgrinberg
pushed 86b8a6d
main
Status Success
Total duration 16m 1s
Artifacts –

bench.yml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in