Skip to content

CI: Limit build-on-push to master branch only#335

Merged
joshuagl merged 1 commit intosecure-systems-lab:masterfrom jku:build-on-push-to-develop-onlyFeb 17, 2021

Commits

Commits on Feb 17, 2021