commit | e05ada3a78598a9e475f07a5bc14661b7709d772 | [log] [tgz] |
---|---|---|
author | Vasil Velichkov <vvvelichkov@gmail.com> | Thu Nov 14 23:55:32 2019 +0200 |
committer | Piotr Krysik <ptrkrysik@gmail.com> | Mon May 03 07:14:00 2021 +0200 |
tree | 61656e99c5c52af7f67a40a87bdce76fd3c0168d | |
parent | dfcf7fd5a3de5aadd47914e50ee6694c4e516063 [diff] [blame] |
travis: Test in Ubuntu 18.04 container - Install gnuradio from the new official PPA repository https://launchpad.net/~gnuradio/+archive/ubuntu/gnuradio-releases Change-Id: Iaa8813ab0ae91b667285ab3ef42ffaa279e3a885
diff --git a/.dockerignore b/.dockerignore index 1b2211d..ef67c26 100644 --- a/.dockerignore +++ b/.dockerignore
@@ -1 +1,2 @@ build* +.git