Revert "Migrate to github actions"#38
Closed
Christian Cadruvi (ccadruvi) wants to merge 1 commit intomainfrom
Closed
Revert "Migrate to github actions"#38Christian Cadruvi (ccadruvi) wants to merge 1 commit intomainfrom
Christian Cadruvi (ccadruvi) wants to merge 1 commit intomainfrom