47d2685c6d
phpDocs auto deployment: Disable cache for releases
10 years ago
f5c721aba1
phpDocs auto deployment: Fix paths
10 years ago
76f243f925
Refactor phpDoc deployment
...
This should prevent empty phpDoc updates like 55b4a2b
10 years ago
4be51a7bee
Refactor phpDoc generation
10 years ago
1dc410425f
Isolate build-related files from source
...
* [Changed] rename `phpcs.xml` -> `.phpcs.xml`
* [Changed] rename `build/` dir -> `_build/`
* [Changed] update paths in `.gitignore`
* [Changed] update paths in `.travis.yml`
* [Changed] update paths in `.sh` scripts
10 years ago
54305c4d33
phpDocs auto deployment: Remove pull requests support
...
We can deploy phpDocs in safe environments only, but "safe environment" is equivalent to "pull a local branch", therefore we can simply use that local branch to deploy the phpDocs. There's no need for a explicit pull request support.
10 years ago
45dcf32fa7
phpDocs auto deployment: Support pull requests in a safe environment
10 years ago
17dbc4cf18
phpDocs auto deployment: Cleanup
10 years ago
Daniel Rudolf
theshka