Skip to content

Add infrastructure for building coredistools - #289

Merged
echesakov merged 7 commits into
masterfrom
dev/coredistools
Sep 18, 2020
Merged

Add infrastructure for building coredistools#289
echesakov merged 7 commits into
masterfrom
dev/coredistools

Add push and PR triggers in coredistools.yml

295e941
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs