Closed bjendres closed 1 year ago
Out of nowhere, the CI fails with "This mandate has no contribution, even though there should be one", see HERE
This seems to have been fixed with [#632]
@bjendres Can we delete the branch issue/648? It has three commits that fiddle with the CircleCI config and has not been merged.
issue/648
Out of nowhere, the CI fails with "This mandate has no contribution, even though there should be one", see HERE