Believe there is a bug in the example in https://github.com/serilog/serilog-aspnetcore#pushing-properties-to-the-iloggert. It should be LogContext.PushProperty rather than logger.PushProperty. Alternatively or additionally it can also point to https://github.com/serilog/serilog/wiki/Enrichment#the-logcontext for more information.

However it would be be a nice to have ILogger.PushProperty which then forwards to LogContext.PushProperty.