Log In
rpms
/
ghc
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
Pull Requests
0 Open
2 Merged
2 Merged PRs
0 Open PRs
2 Merged PRs
2 Cancelled PRs
4 All PRs
Filter
Reset Filters
Sort
Open Date
Last Modified Date
#4
Remove un-needed %if
master
1
Merged
3 years ago
. Opened
3 years ago
by
tdawson
.
simple-koji-ci:
success
#2
Use python3-sphinx to build the docs
master
0
Merged
5 years ago
. Opened
5 years ago
by
churchyard
.
simple-koji-ci:
success