GHAminer: An Open Source Tool to Extract GitHub Actions Build Metrics.

Jasem Khelifi, Yacine Benzina, Moataz Chouchen, Ali Ouni, Mohammed Sayagh, Salah Bouktif

Browse the full SANER paper archive.