projects / platform / upstream / dotnet / runtime.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f29f0b) | patch
Trigger SuperPMI collection pipeline if JIT-EE GUID changes (#44846)
authorBruce Forstall <brucefo@microsoft.com>
Wed, 18 Nov 2020 02:02:00 +0000 (18:02 -0800)
committerGitHub <noreply@github.com>
Wed, 18 Nov 2020 02:02:00 +0000 (18:02 -0800)
commit181d6468420b10ee62cf3d9b27a22434992a6c21
treec6eb32bbfed60efe74efecfc735b6db867bd02d5tree | snapshot
parent6f29f0be4f699d6aacde916e3ce15ff0f90c48eacommit | diff
Trigger SuperPMI collection pipeline if JIT-EE GUID changes (#44846)

Changing the JIT-EE GUID invalidates previous SuperPMI collections,
necessitating a re-collection. As a proxy for determining whether
the JIT-EE GUID has changed, just trigger anytime the corinfo.h file
changes.
eng/pipelines/coreclr/superpmi.yml diff | blob | history
Domain: Dotnet / Core;