Attackers use GitHub Action to mine cryptocurrency on GitHub servers