leanprover-community/mathlib4_docs - GitHub Explorer | GitHub Explorer | Trending

Stars

9

Forks

6

Watchers

9

Open Issues

0

Repository Health Score

❤️

35/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Recent Commits

feat: ping zulip if build fails (#10)

Bryan Gin-ge Chen•2 months ago

2c62b34View on GitHub

chore: add keepalive workflow and update actions versions (#9)

Bryan Gin-ge Chen•3 months ago

c5d7f6fView on GitHub

not worth it

Henrik Böving•7 months ago

d76f183View on GitHub

proper experiment

Henrik Böving•7 months ago

0a64711View on GitHub

chore: experiment

Henrik Böving•9 months ago

701ccfbView on GitHub

add CI for pull requests, deploy docs when main is updated (#7)

Bryan Gin-ge Chen•1 year ago

f9ac5d9View on GitHub

Merge pull request #8 from leanprover-community/revert-6-patch-3

Bryan Gin-ge Chen•1 year ago

1761c19View on GitHub

Revert "chore: also build docs for cache, cli, importgraph and plausible"

Bryan Gin-ge Chen•1 year ago

982b8ecView on GitHub

Merge pull request #6 from grunweg/patch-3

Kim Morrison•1 year ago

16c0c64View on GitHub

chore: also build docs for cache, cli, importgraph and plausible

grunweg•1 year ago

8e369ebView on GitHub

Merge pull request #5 from grunweg/patch-1

Henrik Böving•1 year ago

aa305acView on GitHub

chore: also copy 1000.yaml

grunweg•1 year ago

0760d61View on GitHub

Merge pull request #4 from leanprover-community/bryangingechen-patch-1

Henrik Böving•1 year ago

d65d834View on GitHub

bump dependencies

Bryan Gin-ge Chen•1 year ago

c4a5a0aView on GitHub

ci attempt 2

Henrik Böving•1 year ago

64a7d1eView on GitHub

View all commits

GitHub Explorer

mathlib4_docs

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues