Skip to content

Actions: leanprover-community/mathlib_stats

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
433 workflow runs
433 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/main.yml .github/workflows/main.yml #1803: Scheduled
March 4, 2025 02:26 3m 50s master
master
March 4, 2025 02:26 3m 50s
.github/workflows/main.yml .github/workflows/main.yml #1802: Scheduled
March 3, 2025 02:26 3m 52s master
master
March 3, 2025 02:26 3m 52s
.github/workflows/main.yml .github/workflows/main.yml #1801: Scheduled
March 2, 2025 02:27 3m 48s master
master
March 2, 2025 02:27 3m 48s
.github/workflows/main.yml .github/workflows/main.yml #1800: Scheduled
March 1, 2025 02:27 4m 17s master
master
March 1, 2025 02:27 4m 17s
.github/workflows/main.yml .github/workflows/main.yml #1799: Scheduled
February 28, 2025 02:25 3m 55s master
master
February 28, 2025 02:25 3m 55s
.github/workflows/main.yml .github/workflows/main.yml #1798: Scheduled
February 27, 2025 02:25 3m 51s master
master
February 27, 2025 02:25 3m 51s
.github/workflows/main.yml .github/workflows/main.yml #1797: Scheduled
February 26, 2025 02:25 3m 56s master
master
February 26, 2025 02:25 3m 56s
.github/workflows/main.yml .github/workflows/main.yml #1796: Scheduled
February 25, 2025 02:25 3m 47s master
master
February 25, 2025 02:25 3m 47s
.github/workflows/main.yml .github/workflows/main.yml #1795: Scheduled
February 24, 2025 02:25 3m 50s master
master
February 24, 2025 02:25 3m 50s
generate contributor-count file from mathlib-mailmap script (#12) .github/workflows/main.yml #1794: Commit c13bf8c pushed by bryangingechen
February 23, 2025 22:09 3m 49s master
master
February 23, 2025 22:09 3m 49s
show contributor count in action log .github/workflows/main.yml #1793: Commit 74d33a7 pushed by bryangingechen
February 23, 2025 22:05 3m 52s bgc-contrib-count
bgc-contrib-count
February 23, 2025 22:05 3m 52s
fix .github/workflows/main.yml #1792: Commit e23192c pushed by bryangingechen
February 23, 2025 22:03 2m 11s bgc-contrib-count
bgc-contrib-count
February 23, 2025 22:03 2m 11s
generate contributor-count file from mathlib-mailmap script .github/workflows/main.yml #1791: Commit a08beaa pushed by bryangingechen
February 23, 2025 21:56 3m 44s bgc-contrib-count
bgc-contrib-count
February 23, 2025 21:56 3m 44s
.github/workflows/main.yml .github/workflows/main.yml #1790: Scheduled
February 23, 2025 02:26 3m 44s master
master
February 23, 2025 02:26 3m 44s
.github/workflows/main.yml .github/workflows/main.yml #1789: Scheduled
February 22, 2025 02:21 3m 56s master
master
February 22, 2025 02:21 3m 56s
.github/workflows/main.yml .github/workflows/main.yml #1788: Scheduled
February 21, 2025 02:24 4m 0s master
master
February 21, 2025 02:24 4m 0s
.github/workflows/main.yml .github/workflows/main.yml #1787: Scheduled
February 20, 2025 02:23 3m 47s master
master
February 20, 2025 02:23 3m 47s
.github/workflows/main.yml .github/workflows/main.yml #1786: Scheduled
February 19, 2025 02:23 3m 50s master
master
February 19, 2025 02:23 3m 50s
.github/workflows/main.yml .github/workflows/main.yml #1785: Scheduled
February 18, 2025 02:22 3m 45s master
master
February 18, 2025 02:22 3m 45s
.github/workflows/main.yml .github/workflows/main.yml #1784: Scheduled
February 17, 2025 02:25 3m 51s master
master
February 17, 2025 02:25 3m 51s
.github/workflows/main.yml .github/workflows/main.yml #1783: Scheduled
February 16, 2025 02:26 3m 44s master
master
February 16, 2025 02:26 3m 44s
.github/workflows/main.yml .github/workflows/main.yml #1782: Scheduled
February 15, 2025 02:22 3m 49s master
master
February 15, 2025 02:22 3m 49s
.github/workflows/main.yml .github/workflows/main.yml #1781: Scheduled
February 14, 2025 02:22 3m 43s master
master
February 14, 2025 02:22 3m 43s
.github/workflows/main.yml .github/workflows/main.yml #1780: Scheduled
February 13, 2025 02:23 3m 44s master
master
February 13, 2025 02:23 3m 44s
.github/workflows/main.yml .github/workflows/main.yml #1779: Scheduled
February 12, 2025 02:22 4m 16s master
master
February 12, 2025 02:22 4m 16s