From 4cd3aa0e17fdb0155cf02898a881af2c03623ab0 Mon Sep 17 00:00:00 2001
From: Simon Jakobi <simon.jakobi@gmail.com>
Date: Wed, 2 Sep 2020 21:07:24 +0200
Subject: [PATCH] Remove broken "NixOS 20.03 stable channel, default GHC (8.8)"
 CI job (#704)

Fixes #700.
---
 .../workflows/Nixpkgs-Linux-additional.yml    | 22 -------------------
 1 file changed, 22 deletions(-)

diff --git a/.github/workflows/Nixpkgs-Linux-additional.yml b/.github/workflows/Nixpkgs-Linux-additional.yml
index 504a2e3..f38a3db 100644
--- a/.github/workflows/Nixpkgs-Linux-additional.yml
+++ b/.github/workflows/Nixpkgs-Linux-additional.yml
@@ -44,28 +44,6 @@ jobs:
       run: ./build.sh
 
 
-  build30:
-    name: "NixOS 20.03 stable channel, default GHC (8.8)"
-    runs-on: ubuntu-latest
-    continue-on-error: true
-    steps:
-    - name: Git checkout
-      uses: actions/checkout@v2
-      with:
-        submodules: recursive
-    - name: Install Nix
-      uses: cachix/install-nix-action@v10
-    - name: Install Cachix
-      uses: cachix/cachix-action@v6
-      with:
-        name: ${{ env.cachixAccount }}
-        signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
-    - name: Determined Nix-build
-      env:
-        rev: "nixos-20.03"
-      run: ./build.sh
-
-
   build50:
     name: "NixOS-unstable channel, GHC 8.6.5"
     runs-on: ubuntu-latest