This repository was archived by the owner on May 26, 2022. It is now read-only.

Setup Github actions - #841

Merged

adrilo merged 5 commits into

Jan 11, 2022

Commits on Nov 12, 2021

Commits on Jan 11, 2022

Reduce number of jobs
adrilo
committed