HomePhabricator

Added support for git/github to OpenMPBuilder.

Authored by gkistanova on Oct 28 2019, 11:20 PM.

Description

Added support for git/github to OpenMPBuilder.

Details

Committed
gkistanovaOct 28 2019, 11:20 PM
Parents
rZORG5046021737a5: [sanitizer] Remove bogus exception on git checkout
Branches
Unknown
Tags
Unknown