Require mandatory packages.

bison, flex, and dune-common are needed for compilation. Therefore
we mark thema as required to find_package with this commit.
4 jobs for feature/require-packages in 15 seconds (queued for 1989 minutes and 9 seconds)
Status Job ID Name Coverage
  Test
failed #264
debian:8--clang

00:00:03

failed #262
debian:8--gcc

00:00:04

failed #265
debian:9--clang

00:00:03

failed #263
debian:9--gcc

00:00:03

 
Name Stage Failure
failed
debian:9--clang Test There is an unknown failure, please try again
WARNING: Locally found image will be used instead.

Running on runner-eb9848a6-project-301-concurrent-0 via 7dce7cf321c8...
Fetching changes...
HEAD is now at 0ea69d7 Merge branch 'feature/remove-archname' into 'master'
Checking out d09c4685 as feature/require-packages...
fatal: reference is not a tree: d09c468546756c3bdb9622f3deaa79052302804a

ERROR: Build failed: exit code 1
failed
debian:8--clang Test There is an unknown failure, please try again
WARNING: Locally found image will be used instead.

Running on runner-eb9848a6-project-301-concurrent-1 via 7dce7cf321c8...
Fetching changes...
HEAD is now at 0ea69d7 Merge branch 'feature/remove-archname' into 'master'
Checking out d09c4685 as feature/require-packages...
fatal: reference is not a tree: d09c468546756c3bdb9622f3deaa79052302804a

ERROR: Build failed: exit code 1
failed
debian:9--gcc Test There is an unknown failure, please try again
WARNING: Locally found image will be used instead.

Running on runner-eb9848a6-project-301-concurrent-0 via 7dce7cf321c8...
Fetching changes...
HEAD is now at 0ea69d7 Merge branch 'feature/remove-archname' into 'master'
Checking out d09c4685 as feature/require-packages...
fatal: reference is not a tree: d09c468546756c3bdb9622f3deaa79052302804a

ERROR: Build failed: exit code 1
failed
debian:8--gcc Test There is an unknown failure, please try again
WARNING: Locally found image will be used instead.

Running on runner-eb9848a6-project-301-concurrent-2 via 7dce7cf321c8...
Fetching changes...
HEAD is now at 0534276 Remove ARCHNAME
Checking out d09c4685 as feature/require-packages...
fatal: reference is not a tree: d09c468546756c3bdb9622f3deaa79052302804a

ERROR: Build failed: exit code 1