Re: [pulseaudio-discuss] [PATCH] gitlab: Add support for GitLab CI

2018-08-23 Thread Arun Raghavan
On Thu, 23 Aug 2018, at 6:29 PM, Felipe Sateler wrote: > On Wed, Aug 22, 2018 at 11:36 PM Arun Raghavan > wrote: > > > This adds a Dockerfile to generate a Docker image with the required > > dependencies on top of the standard Ubuntu 18.04 image. The Gitlab CI > > then runs the PulseAudio build

Re: [pulseaudio-discuss] [PATCH] gitlab: Add support for GitLab CI

2018-08-23 Thread Felipe Sateler
On Wed, Aug 22, 2018 at 11:36 PM Arun Raghavan wrote: > This adds a Dockerfile to generate a Docker image with the required > dependencies on top of the standard Ubuntu 18.04 image. The Gitlab CI > then runs the PulseAudio build within this image. > --- > .gitlab-ci.yml | 19

[pulseaudio-discuss] [PATCH] gitlab: Add support for GitLab CI

2018-08-22 Thread Arun Raghavan
This adds a Dockerfile to generate a Docker image with the required dependencies on top of the standard Ubuntu 18.04 image. The Gitlab CI then runs the PulseAudio build within this image. --- .gitlab-ci.yml | 19 + scripts/Dockerfile | 53