Skip to content

Replace Symbol Source #67

@thargy

Description

@thargy

As the current implementation tries to deploy to defunct symbol servers we should change to using GitHub SourceLink.

Metadata

Metadata

Assignees

No one assigned

    Labels

    breakingA breaking changeenhancementA new feature, or an improvement to an existing feature

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions