Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / pitmonticone/leanproject issues and pull requests
#11 - [doc-gen] Use `docbuild` setup
Pull Request -
State: open - Opened by pitmonticone 18 days ago
#11 - [doc-gen] Use `docbuild` setup
Pull Request -
State: open - Opened by pitmonticone 18 days ago
#10 - Bump Lean to v4.13.0
Pull Request -
State: closed - Opened by pitmonticone 21 days ago
#9 - Simplify update script
Pull Request -
State: closed - Opened by mo271 about 1 month ago
- 4 comments
#8 - Update customize_template.py
Pull Request -
State: closed - Opened by b-mehta about 2 months ago
- 2 comments
#7 - scripts/customize_template.py references lint.yml
Issue -
State: closed - Opened by b-mehta about 2 months ago
- 1 comment
#6 - Updates available and ready to merge
Pull Request -
State: closed - Opened by github-actions[bot] about 2 months ago
Labels: auto-update-lean
#5 - Updates available and ready to merge
Pull Request -
State: closed - Opened by github-actions[bot] about 2 months ago
Labels: auto-update-lean
#4 - Bump actions/cache from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#3 - Bump actions/upload-pages-artifact from 1 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#2 - Bump actions/deploy-pages from 1 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#1 - Bump actions/checkout from 2 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies