Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • pystencils pystencils
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 18
    • Issues 18
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 4
    • Merge requests 4
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • pycodegen
  • pystencilspystencils
  • Merge requests
  • !311

Fix coverage badge

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Michael Kuron requested to merge coverage into master Nov 09, 2022
  • Overview 0
  • Commits 1
  • Pipelines 1
  • Changes 1

Apply the same change as in walberla/walberla!574 (merged).

If it works, the coverage should appear somewhere below on this page.

Edited Nov 09, 2022 by Michael Kuron
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: coverage