Skip to content

[jenkins] Use different emojiis depending on the result of the api/generator diffs. - #4240

Merged
rolfbjarne merged 1 commit into
dotnet:masterfrom
rolfbjarne:differentiate-diff-with-emojiis
Jun 13, 2018
Merged

[jenkins] Use different emojiis depending on the result of the api/generator diffs.#4240
rolfbjarne merged 1 commit into
dotnet:masterfrom
rolfbjarne:differentiate-diff-with-emojiis

[jenkins] Use different emojiis depending on the result of the api/ge…

69db515
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs