mono / mono-addins

Mono.Addins is a generic framework for creating extensible applications, and for creating add-ins which extend those applications.
MIT License
164 stars 93 forks source link

Embed Pdb and add SourceLink #183

Closed KirillOsenkov closed 1 year ago

KirillOsenkov commented 2 years ago

Would be nice to have this, otherwise we can't debug into Mono.Addins:

image
KirillOsenkov commented 2 years ago

@slluis when you get a chance, please

Therzok commented 2 years ago

@KirillOsenkov CI failed for some reason.

@slluis any chance this repo can be migrated to github actions?

KirillOsenkov commented 2 years ago

I looked and it seemed unrelated

Therzok commented 2 years ago

@slluis ping

Therzok commented 1 year ago

@slluis PTAL

slluis commented 1 year ago

I guess CI can't build from forks

Therzok commented 1 year ago

I'm going to merge this, it would be nice to be able to step into mono-addins, thanks for fixing up the CI.