Perhaps I'm underestimating it here, or they are mining a currency I'm not aware of, but how does this actually end up being worth the effort involved for the people running cryptominers in the build actions? My understanding is that they'd be making cents or fractions of cents from this..