Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / pravda-lang/pravda issues and pull requests
#5 - Update install.sh
Pull Request -
State: closed - Opened by 17do 10 days ago
#4 - Remove clippy warnings
Pull Request -
State: closed - Opened by KajizukaTaichi 16 days ago
#3 - Develop
Pull Request -
State: closed - Opened by KajizukaTaichi 21 days ago
#2 - Develop
Pull Request -
State: closed - Opened by KajizukaTaichi 22 days ago
- 1 comment
#1 - Lazy evaluation is broken
Issue -
State: closed - Opened by KajizukaTaichi 22 days ago
Labels: bug