tree 87a1eeb32b8897c59b9e2ec27e8c5c3fffae83b0
parent ba6b6915c587f43bd5a8753b367751c52ebbfbe3
author Marc Kupietz <kupietz@ids-mannheim.de> 1656530457 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1656530457 +0200

Fix coverage CI script

https: //github.com/r-lib/actions/issues/559
Change-Id: I0d8fd1739dc4c7bb4ae279b00008882cc4449cc6