Merge branch 'develop' into dronethunder2

This commit is contained in:
Martin Kroeker 2020-04-08 14:45:32 +02:00 committed by GitHub
commit 353e996d1d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -164,6 +164,6 @@ steps:
- make QUIET_MAKE=1 $COMMON_FLAGS
- make -C test $COMMON_FLAGS
- make -C ctest $COMMON_FLAGS
- make -C utest $COMMON_FLAGS
- make -C utest $COMMON_F
- make -C benchmark $COMMON_FLAGS
- benchmark/dgemm.goto