Remove docker builds

They are too slow and don't really test anything special.

.dockerignore

@@ -1,3 +0,0 @@
-addons/godot_xterm/native/external/*
-addons/godot_xterm/native/bin/*
-addons/godot_xterm/native/.sconsign*.dblite

.github/workflows/main.yml

@@ -7,16 +7,6 @@ on:
     branches: [ master ]
 
 jobs:
-  docker:
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        service: [ build-nixos, build-archlinux, build-ubuntu ]
-    steps:
-      - uses: actions/checkout@v2
-      - name: Build inside docker container
-        run: docker-compose run ${{ matrix.service }}
-
   release-build:
     runs-on: ${{ matrix.os }}
     strategy:

docker-compose.yml

@@ -1,17 +0,0 @@
-version: "3.3"
-services:
-  build-archlinux:
-    build:
-      context: .
-      dockerfile: ./dockerfiles/archlinux
-    command: /src/addons/godot_xterm/native/build.sh
-  build-nixos:
-    build:
-      context: .
-      dockerfile: ./dockerfiles/nixos
-    command: /src/addons/godot_xterm/native/build.sh
-  build-ubuntu:
-    build:
-      context: .
-      dockerfile: ./dockerfiles/ubuntu
-    command: /src/addons/godot_xterm/native/build.sh

dockerfiles/archlinux

@@ -1,6 +0,0 @@
-FROM archlinux:20200908
-RUN pacman -Sy --needed --noconfirm \
-    git \
-    scons \
-    base-devel
-COPY . /src

dockerfiles/nixos

@@ -1,2 +0,0 @@
-FROM lnl7/nix:2.3.6
-COPY . /src

dockerfiles/ubuntu

@@ -1,6 +0,0 @@
-FROM ubuntu:18.04
-RUN apt-get update && apt-get install -y \
-    git \
-    scons \
-    build-essential
-COPY . /src