From 3c8400d30f145cb78ccde35ff15442ecbfe4c574 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 19 May 2020 17:59:15 +0200
Subject: [PATCH] chore: CI: check update-stage0

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 87bf253fe9..44e061aa77 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -96,6 +96,9 @@ jobs:
       - name: Test Speedcenter Benchmarks
         run: PATH=$(realpath build/stage0.5/bin):$PATH nix-shell --run 'cd tests/bench; temci exec --config speedcenter.yaml --runs 1'
         if: matrix.test-speedcenter
+      - name: Check rebootstrap
+        run: nix-shell --run "cd build; make update-stage0 && make -j4"
+        if: matrix.name == 'Linux'
       - name: CCache stats
         run: nix-shell --run "ccache -s"
         if: matrix.os != 'windows-latest'