Add CI pipeline (!21) · Merge requests · Polycentric / Polycentric

Nick Orlowsky requested to merge no-integration into master May 30, 2023

Adds a CI pipeline that does lint checking, formatting checking, build checking, and runs tests. This PR also includes formatting fixes for harbor-web

Successful pipeline run: https://gitlab.futo.org/polycentric/polycentric/-/pipelines/1283

Edited May 30, 2023 by Nick Orlowsky

Add CI pipeline

Merge request reports