 Daniel Rudolf
|
0f85f85367
Build scripts: Fix exit codes
|
9 years ago |
|
Daniel Rudolf
|
024f994d9e
_build/deploy-phpdoc-branch.sh: Don't forget to commit phpDocs cache
|
9 years ago |
|
Daniel Rudolf
|
26d7d2f68e
Build scripts: Fix formatting
|
9 years ago |
|
Daniel Rudolf
|
b472664a20
Build scripts: Don't try to commit nothing
|
9 years ago |
|
Daniel Rudolf
|
cd0e0f706f
Build scripts: Git identity must be configured before committing
|
9 years ago |
|
Daniel Rudolf
|
92026a3bd0
Add static shields.io badge generator
|
9 years ago |
|
Daniel Rudolf
|
47d2685c6d
phpDocs auto deployment: Disable cache for releases
|
9 years ago |
|
Daniel Rudolf
|
f5c721aba1
phpDocs auto deployment: Fix paths
|
9 years ago |
|
Daniel Rudolf
|
76f243f925
Refactor phpDoc deployment
|
9 years ago |
|
Daniel Rudolf
|
4be51a7bee
Refactor phpDoc generation
|
9 years ago |
|
theshka
|
1dc410425f
Isolate build-related files from source
|
9 years ago |
