IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-01-16 11:42:19 -06:00
Code Issues Packages Projects Releases Wiki Activity
1,532 Commits 6 Branches 108 Tags 333 MiB
4b1781124a
Commit Graph

6 Commits

Author SHA1 Message Date
Dave Page
4b1781124a Use the correct Python binary. 2017-03-30 17:13:06 -04:00
Dave Page
8941756a9d Select the correct Sphinx version 2017-03-30 17:11:08 -04:00
Dave Page
0a381c4a53 Add scripts for building the PIP wheel and tarballs 2017-03-30 17:05:49 -04:00
Dave Page
b826e0863c Clean the build from the correct directory. 2017-03-30 16:49:11 -04:00
Dave Page
cdc1b70aea Ensure CI scripts are executable 2017-03-30 16:37:44 -04:00
Dave Page
b65896b85b Add basic CI runner scripts for Jenkins 2017-03-30 16:34:24 -04:00