Skip to content
GitLab
Explore
Sign in
JuPedSim
JPSeditor
Wiki
Docs
Contributing
pushing
pushing
· Changes
Page history
Copied stuff from jpscore. just to test
authored
Jan 18, 2016
by
Erik Andresen
Hide whitespace changes
Inline
Side-by-side
docs/contributing/pushing.md
0 → 100644
View page @
0ce2d976
# Before pushing to the repository
check if the tests (still) run successfully. For instance for
`jpscore`
in your
**build**
directory
```
ctest -R Boost
```
should pass.