message: fix xvfb setup
diff: @@ -6,6 +6,8 @@ jobs:
  Build:
  runs-on: ubuntu-latest
  name: Build
  + env:
  + DISPLAY: ':99.0'
  steps:
  - name: Checkout
  uses: actions/checkout@v2
  @@ -13,6 +15,10 @@ jobs:
  uses: actions/setup-node@v2
  with:
  node-version: '16'
  + - name: Setup xvfb
  + run: |
  + sudo apt-get install -y xvfb
  + /usr/bin/Xvfb :99 -screen 0 1024x768x24 > /dev/null 2>&1 & echo ">>> Started xvfb"
  - name: Build
  run: |
  npm ci
  @@ -26,8 +32,6 @@ jobs:
  path: 'vscode-lean4/lean4-*.vsix'
  - name: Lint
  run: npm run lint
  - - name: Install xvfb
  - uses: GabrielBB/xvfb-action@v1
  - name: Test
  run: |
  cd test
  