diff options
| author | jak1 <mike.wollmann@gmail.com> | 2021-05-23 10:11:57 +0200 |
|---|---|---|
| committer | jak1 <mike.wollmann@gmail.com> | 2021-05-23 10:11:57 +0200 |
| commit | 03b519c9b6f1f613102c45aeb29ceb6962db3e94 (patch) | |
| tree | 10f3fac3572326b92ba88e00ab574bf87dad1b2d /tools/ci/scripts/docker_run_cross.sh | |
| parent | d3533cc657b2e143573d4fba2c10e99a9017d02a (diff) | |
| download | plus-03b519c9b6f1f613102c45aeb29ceb6962db3e94.tar.gz plus-03b519c9b6f1f613102c45aeb29ceb6962db3e94.tar.bz2 plus-03b519c9b6f1f613102c45aeb29ceb6962db3e94.tar.xz plus-03b519c9b6f1f613102c45aeb29ceb6962db3e94.zip | |
[ci] splitted jobs
gcov -> build
doxygen -> build
pages -> deploy
Diffstat (limited to 'tools/ci/scripts/docker_run_cross.sh')
0 files changed, 0 insertions, 0 deletions