Merge branch 'fix-coverage-flag' into 'master' (01cc9f18) · Commits · Markus Holzer / waLBerla · GitLab

Snippets Groups Projects

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

There was an error fetching the commit references. Please try again later.

Commit 01cc9f18 authored 4 years ago by

Michael Kuron

Merge branch 'fix-coverage-flag' into 'master'

fix coverage flag such that it can be used by apps

See merge request walberla/walberla!310

parents 60c1842b 09374b64

Hide whitespace changes

Inline Side-by-side

Showing with 1 addition and 1 deletion

Please register or to comment