setup ci
Open
- Dominant language
- Python
- Stars
- 62
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
Description
seems annoying. travis ci is missing the python-z3 package that was added in ubuntu-xenial [0] interesting features for guix in the pipeline that might lessen the pain [1]
[0] https://packages.ubuntu.com/search?keywords=python-z3
[1] https://lists.gnu.org/archive/html/guix-devel/2017-11/msg00152.html
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.