Skip to content
Bench output summary

[Merged by Bors] - feat(CategoryTheory): coskeletal simplicial objects #5580

Sign in to view logs

[Merged by Bors] - feat(CategoryTheory): coskeletal simplicial objects

[Merged by Bors] - feat(CategoryTheory): coskeletal simplicial objects #5580

Triggered via issue November 27, 2024 15:27
@joelrioujoelriou
commented on #19492 8390aa7
Status Skipped
Total duration 2s
Artifacts –

bench_summary_comment.yml

on: issue_comment
Post summary of benchmarking results
0s
Post summary of benchmarking results
Fit to window
Zoom out
Zoom in