Update Linux CI (#1471)

.github/workflows/ci-develop.yml

@@ -1,36 +1,24 @@
-# This is a basic workflow to help you get started with Actions
-
 name: CI
 
-# Controls when the action will run. Triggers the workflow on push or pull request
-# events but only for the develop branch
 on:
   push:
     branches: [ develop ]
   pull_request:
     branches: [ develop ]
 
-# A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
-  # This workflow contains a single job called "build"
   build:
-    # The type of runner that the job will run on
     runs-on: ubuntu-latest
 
-    # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
       - uses: actions/checkout@v2
 
       - name: Install dependent packages
-        run: sudo apt install powershell gdb
+        run: sudo apt install powershell gdb xvfb
 
-      - name: Set up X-server redirection
-        run: |
-          export DISPLAY=:99.0
-          sh -e /etc/init.d/xvfb start
-          sleep 3
-          
       - name: Run the CI script
-        run: pwsh -NonInteractive -NoProfile -NoLogo scripts/ci.ps1
-
+        uses: GabrielBB/xvfb-action@v1.4
+        with:
+          # Command to execute using xvfb
+          run: pwsh -NonInteractive -NoProfile -NoLogo scripts/ci.ps1

.vscodeignore

@@ -1,3 +1,4 @@
+.github/
 .vscode/
 build/
 docs/