Skip to content
.github/workflows/main.yml

Add row numbering to mathlib_stats table (#10) #1466

Sign in to view logs

Add row numbering to mathlib_stats table (#10)

Add row numbering to mathlib_stats table (#10) #1466

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Generate statistics about the mathlib repo
2m 14s
2m 14s