netsec-ethz / fpki

4 stars 1 forks source link

Enable CI #25

Open juagargi opened 1 year ago

juagargi commented 1 year ago

CI in this project must be run for PRs and changes in master.