Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / alissa-tung/glean issues and pull requests
#15 - fix: lakeManifest version type
Pull Request -
State: closed - Opened by timechess 6 months ago
#14 - fix: lake manifest version
Pull Request -
State: closed - Opened by timechess 7 months ago
#13 - proofwidget: fetch cloud release
Pull Request -
State: closed - Opened by timechess 7 months ago
#11 - refactor: alias should be package name in manifest
Issue -
State: open - Opened by alissa-tung 9 months ago
#10 - fix:batteries url
Pull Request -
State: closed - Opened by timechess 9 months ago
- 1 comment
#9 - upd: elan
Pull Request -
State: closed - Opened by alissa-tung 12 months ago
#8 - update update function
Pull Request -
State: closed - Opened by timechess 12 months ago
#7 - fix bugs
Pull Request -
State: closed - Opened by timechess 12 months ago
#6 - fix url
Pull Request -
State: closed - Opened by timechess 12 months ago
#5 - Add update function
Pull Request -
State: closed - Opened by timechess about 1 year ago
- 7 comments
#4 - new version of lake will put outputs in `./.lake`
Issue -
State: closed - Opened by alissa-tung about 1 year ago
- 1 comment
#3 - remove `v` prefix in example Lean version
Pull Request -
State: closed - Opened by FR-vdash-bot about 1 year ago
#2 - Add support for nightly version
Pull Request -
State: closed - Opened by timechess about 1 year ago
- 3 comments
#1 - fix: PATH for zsh
Pull Request -
State: closed - Opened by timechess over 1 year ago
- 2 comments