Skip to content

Reuse ci actions#34

Merged
emmanuelgautier merged 2 commits intomainfrom
reuse-ci-actions
Mar 17, 2026
Merged

Reuse ci actions#34
emmanuelgautier merged 2 commits intomainfrom
reuse-ci-actions

Conversation

@emmanuelgautier
Copy link
Copy Markdown
Member

No description provided.

@github-advanced-security
Copy link
Copy Markdown

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

  • The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
  • Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
  • You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.

@codecov-commenter
Copy link
Copy Markdown

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@emmanuelgautier emmanuelgautier merged commit a003631 into main Mar 17, 2026
4 checks passed
@emmanuelgautier emmanuelgautier deleted the reuse-ci-actions branch March 17, 2026 23:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants