Skip to content

ci: add sourcelink#25

Merged
jeanlrnt merged 2 commits intodevelopfrom
feature/add-sourcelink
Dec 22, 2025
Merged

ci: add sourcelink#25
jeanlrnt merged 2 commits intodevelopfrom
feature/add-sourcelink

Conversation

@jeanlrnt
Copy link
Owner

This pull request adds several build and packaging improvements to the MiniJwt.Core project file, mainly to enhance debugging, source linking, and CI integration.

Build and packaging enhancements:

  • Enabled publishing of the repository URL and embedding of untracked sources to improve source link support in published packages.
  • Configured the build to include symbols and generate symbol packages in the snupkg format for better debugging support.
  • Added a condition to set ContinuousIntegrationBuild to true when running in GitHub Actions, ensuring proper build metadata during CI runs.

Copilot AI review requested due to automatic review settings December 22, 2025 18:32
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This pull request adds build and packaging configurations to enable SourceLink support and improve debugging experience for the MiniJwt.Core NuGet package. The changes configure the project to publish repository URLs, embed untracked sources, include symbol packages in .snupkg format, and ensure proper build metadata during GitHub Actions CI runs.

Key Changes:

  • Enables SourceLink properties for better debugging support with embedded source code
  • Configures symbol package generation in .snupkg format
  • Sets ContinuousIntegrationBuild flag when running in GitHub Actions

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Add sourcelink.github as package reference
@jeanlrnt jeanlrnt merged commit 6506941 into develop Dec 22, 2025
15 checks passed
@jeanlrnt jeanlrnt deleted the feature/add-sourcelink branch December 22, 2025 18:45
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.

1 participant

Comments