Skip to content
Snippets Groups Projects

Update CI to use newest container.

Merged Update CI to use newest container.
ci_dev into master
Merged Sylvester Joosten requested to merge ci_dev into master
Compare
and
3 files
+ 3
− 6
Compare changes
  • Side-by-side
  • Inline
Files
3
bin/do_build
+ 0
− 3
#!/bin/bash
#!/bin/bash
ls
source /etc/profile
mkdir build
mkdir build
cd build
cd build
ls ..
cmake ..
cmake ..
make -j30
make -j30