leanprover-community/Upstreaming dashboard generator
Generate snippets to build a upstreaming dashboard for a Lean project
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| website-directory | Website directory. Files will be generated under {website-dir}/_includes/_upstreaming_dashboard | yes | . |
| include-drafts | Include draft PRs in the ready-to-upstream list | no | false |
| relevant-labels | Comma or newline-separated list of labels used to group PRs into Selected/Other | no | "" |
| branch-name | Branch name used to build source links | no | main |
| project-name | Name of the project. This will define the namespace we assume to find imports (import P.*), and the corresponding root to find upstream candidates (P/Mathlib by default, see search-root) | yes | — |
| search-root | Namespace under which upstreaming candidates are located (e.g. MyProject.ToMathlib). Defaults to <project-name>.Mathlib. | no | "" |
Outputs
no outputs