GitHub ci#1

Merged

qrort merged 20 commits intomainfrom

Nov 10, 2021

Commits on Oct 15, 2021

Prepare UTBot to work with original loguru
Alexey Pleshakov
committed
Add submodules
Alexey Pleshakov
committed
add 'Publish base env' workflow
Alexey Pleshakov
committed

Commits on Oct 18, 2021

remove unused file. "Empty commit" to test docker image caching
Alexey Pleshakov
committed
add 'Build UTBot' workflow
Alexey Pleshakov
committed
add 'Build UTBot' workflow
Alexey Pleshakov
committed

Commits on Oct 19, 2021

add 'Build UTBot' workflow
Alexey Pleshakov
committed
add 'Build UTBot' workflow
Alexey Pleshakov
committed

Commits on Oct 20, 2021

add klee
Alexey Pleshakov
committed
add correct grpc and gtest
Alexey Pleshakov
committed

Commits on Oct 21, 2021

utbot build ci
Alexey Pleshakov
committed
do not delete gtest. Rebuild base_env, tag with date.
Alexey Pleshakov
committed

Commits on Oct 22, 2021

updated container version for UTBot build
Alexey Pleshakov
committed
change includes:
Alexey Pleshakov
committed
added verbosity_DEBUG to loguru
Alexey Pleshakov
committed

Commits on Nov 9, 2021

fix gtest, add developers guide
Alexey Pleshakov
committed

Commits on Nov 10, 2021

changed log file namings so we can upload such artifacts
Alexey Pleshakov
committed
disable CI on push
Alexey Pleshakov
committed
enabled parallel build
Alexey Pleshakov
committed
simplified Project_Test, added unit tests for features.
Alexey Pleshakov
committed