Revision 1968ec86fdb6f632c2770979cd677ff86246bdf0 authored by Alain Mebsout on 04 July 2023, 13:20:44 UTC, committed by Alain Mebsout on 04 July 2023, 13:20:44 UTC
This fixes an issue occurring in the scenario: - The L1 node is down for 1 hour - The L1 node is back up for a bit - The L1 node is down for a few seconds The second time, the rollup node would have waited ~1h to reconnect.
1 parent 0eaebb7
report_coverage.sh
#!/bin/sh
set -eu
# Compute coverage
make coverage-report
# Rewrite the summary output to remove information points matching the coverage regexp below
make coverage-report-summary | sed 's@Coverage: [[:digit:]]\+/[[:digit:]]\+ (\(.*%\))@Coverage: \1@'
make coverage-report-cobertura
Computing file changes ...
