From f73220d0ec330f349eb43590d14c947840d8639a Mon Sep 17 00:00:00 2001
From: Paulo Matos <pmatos@linki.tools>
Date: Mon, 13 Jul 2020 17:11:21 +0200
Subject: [PATCH] Update summary files for CI (#28)

Required for 6627417c0a5737cfb0d04d3ce13f52191c15c78f to work properly.
original commit: 184ecd9a2acf10746438e59dc550337b6d214ecc
---
 .github/scripts/summary | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/scripts/summary b/.github/scripts/summary
index 78621f2a20..cb7ec28d73 100644
--- a/.github/scripts/summary
+++ b/.github/scripts/summary
@@ -1,4 +1,5 @@
 -------- o=0 --------
+-------- o=0 cp0=t --------
 -------- o=3 --------
 -------- o=3 cp0=t --------
 -------- o=3 cp0=t eval=interpret --------