Add a bootstrap from Idris 1 CI script

.github/workflows/ci-full-bootstrap.yml

@@ -0,0 +1,38 @@
+name: Idris bootstrap
+on:
+  push:
+    branches:
+      - master
+    tags:
+      - '*'
+
+env:
+  SCHEME: scheme
+jobs:
+  build:
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Install build dependencies
+        run: |
+          sudo apt-get install -y chezscheme zlib1g-dev ghc cabal-install
+          cabal update
+          echo "::add-path::$HOME/.idris2/bin"
+          echo "::add-path::$HOME/.cabal/bin"
+      - name: Get Idris2-boot
+        run: |
+          cd $HOME && git clone https://github.com/edwinb/Idris2-boot
+      - name: Install Idris 1
+        run: cabal v1-install idris
+      - name: Build Idris2-boot
+        run: cd $HOME/Idris2-boot && make && make install
+      - name: Build from bootstrap
+        run: |
+          make all IDRIS2_BOOT=$HOME/.idris2boot/bin/idris2boot
+          make install
+        shell: bash
+      - name: Build and test self-hosted
+        run: make clean && make all && make test INTERACTIVE=''
+        shell: bash
+