Merge branch 'development/doc' into 'master'
Update documentation See merge request !101
Status | Job ID | Name | Coverage | ||||||
---|---|---|---|---|---|---|---|---|---|
Build | |||||||||
passed |
#98805
|
distcheck-linux-clang10-debug |
00:15:48
|
|
|||||
passed |
#98806
|
distcheck-linux-gcc10-debug |
00:19:20
|
|
|||||
passed |
#98804
|
distcheck-linux-gcc9-debug-asan-ubsan |
00:14:49
|
|
|||||
passed |
#98803
|
distcheck-linux-gcc9-release |
00:11:04
|
|
|||||
passed |
#98807
|
documentation |
00:04:20
|
|
|||||
manual |
#98802
windows
allowed to fail
manual
|
windows-debug |
|
||||||
Bench | |||||||||
manual |
#98808
pylene-benchmarks
allowed to fail
manual
|
distbench-linux-gcc9-release |
|
||||||