PR #3840 Fix C# log APIs. Also fixes github issue #3409.

Fix C# log APIs. Also fixes github issue #3409. #3840

pranavsharma merged 5 commits into master from fix_csharp

Fix C# log APIs. Fixes github issue #3409.

5480a0a3

pranavsharma requested a review 6 years ago

skottmckay dismissed these changes on 2020-05-06

pranavsharma dismissed their stale review 6 years ago

Fix build error due to accidental duplication of GraphOptimizationLevel

3bae36ec

pranavsharma force pushed to 3bae36ec 6 years ago

Fix runoptions

22e5723b

Merge remote-tracking branch 'origin/master' into fix_csharp

2b7a7b18

pranavsharma changed the title ~~Fix C# log APIs. Fixes github issue #3409.~~ Fix C# log APIs. Also fixes github issue #3409. 6 years ago

Fix broken test. Add --blame switch to dotnet test cmd line to print …

46c703b5

pranavsharma force pushed to 46c703b5 6 years ago

hariharans29 approved these changes on 2020-05-08

pranavsharma merged 22a71145 into master 6 years ago

pranavsharma deleted the fix_csharp branch 6 years ago

Reviewers

hariharans29

skottmckay

Assignees

No one assigned

Labels

None yet

Milestone

No milestone