Update summary files for CI (#28)

Required for 6627417c0a5737cfb0d04d3ce13f52191c15c78f to work properly.
original commit: 184ecd9a2acf10746438e59dc550337b6d214ecc
This commit is contained in:
Paulo Matos 2020-07-13 17:11:21 +02:00 committed by GitHub
parent e4898ed85a
commit f73220d0ec

View File

@ -1,4 +1,5 @@
-------- o=0 --------
-------- o=0 cp0=t --------
-------- o=3 --------
-------- o=3 cp0=t --------
-------- o=3 cp0=t eval=interpret --------