Skip to content

add a PR workflow that builds everything#1

Closed
plumpy wants to merge 4 commits intomasterfrom
pr_workflow
Closed

add a PR workflow that builds everything#1
plumpy wants to merge 4 commits intomasterfrom
pr_workflow

Commits

Commits on Jun 27, 2020

Commits on Jun 28, 2020