What is this font?

I would really like to know what font is used in this image from Dirty Pipe Explained - CVE-2022-0847

It is the “CVE-2022-0847” font that I would like.
Thank you!