Source

pgci / jenkins / jobs / pghashlib / config.xml

Author Commit Message Labels Comments Date
Peter Eisentraut
Trigger extension builds through _extensions_trigger job
Peter Eisentraut
Various Jenkins configuration updates
Peter Eisentraut
Add extension builds