Bazel rules for ergonomic tool definitions
active 2024-11-18 → 2025-08-21 (UTC)
Partial coverage12,952 / 15,175 hourly files (85%) · 2 absent upstream · 2,217 failed, retryable2024-11-16 → 2026-08-11 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
62
Pushes
3
Pull requests
9
Issues
4
Stars
12
Forks
7
Activity over time
Daily event counts in the loaded window
Line chart, 277 days from 2024-11-18 to 2025-08-21. Pushes: 3 total, peak 1 in a day. Pull requests: 9 total, peak 2 in a day. Issues: 4 total, peak 1 in a day. Comments: 17 total, peak 4 in a day. Stars: 12 total, peak 4 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| markelliot | 6 | 0 | 1 | 2 |
| mark-thm | 4 | 0 | 0 | 4 |
| alexeagle | 4 | 0 | 0 | 4 |
| kevans-theorem | 4 | 0 | 0 | 4 |
| apalmer-theorem | 4 | 1 | 2 | 0 |
| fmeum | 3 | 0 | 1 | 1 |
| renovate-thm[bot] | 2 | 1 | 1 | 0 |
| ofek | 1 | 0 | 1 | 0 |
| malkia | 1 | 0 | 0 | 0 |
| hofbi | 1 | 0 | 0 | 1 |
| AlexTereshenkov | 1 | 0 | 0 | 0 |
| thm-automation[bot] | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#86kevans-theorem2025-08-19 16:51Contribute to bazel-contrib
- Issue comment#86kevans-theorem2025-08-17 17:24Contribute to bazel-contrib
- Pull request#90ofek2025-08-16 22:36
- Issue comment#86markelliot2025-08-15 12:42Contribute to bazel-contrib
- Issue comment#86kevans-theorem2025-07-25 15:15Contribute to bazel-contrib
- Releasegithub-actions[bot]2025-07-25 11:05v1.8.0
- Issue comment#86rahulsmehta2025-07-24 19:20Contribute to bazel-contrib
- Pull request#88markelliot2025-07-24 11:08
- Pull request#88alexeagle2025-07-24 03:42
- Issue#87alexeagle2025-07-24 03:31bzl_library targets not correct
- Issue comment#86kevans-theorem2025-07-11 17:59Contribute to bazel-contrib
- Issue#86markelliot2025-07-11 17:43Contribute to bazel-contrib
- Pull request#78thm-automation[bot]2025-07-11 17:28
- Pull request#80markelliot2025-07-11 17:28
- Releasegithub-actions[bot]2025-07-10 11:05v1.6.0
- Pull request#82apalmer-theorem2025-07-09 14:33
- Issue comment#84markelliot2025-07-09 13:08Document usage of Bazel cache when using the rules
- Issue#84AlexTereshenkov2025-07-09 10:22Document usage of Bazel cache when using the rules
- Issue comment#80hofbi2025-07-01 13:02Render TOOLS only if supported on host
- Issue comment#82alexeagle2025-06-27 18:10chore: fixes required for stardoc
- Releasegithub-actions[bot]2025-06-13 11:05v1.5.0
- Pull request#81apalmer-theorem2025-06-12 14:42
- Pull request#78renovate-thm[bot]2025-05-27 15:38
- Issue comment#75alexeagle2025-05-04 23:24Export a list of all tools in a hub as a Starlark constant
- Issue comment#75fmeum2025-05-04 09:15Export a list of all tools in a hub as a Starlark constant
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 12 stars here means stars gained during the window, not the repo's star count.