diff options
| author | Edoardo Pasca <edo.paskino@gmail.com> | 2019-01-15 15:23:43 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-15 15:23:43 +0000 |
| commit | 34d0b9f85c3bc73416f1dc2bb25ef669b9ff8076 (patch) | |
| tree | 314ae9ddaaad207a67226961d6302b5817764a16 /build/jenkins-build.sh | |
| parent | 3b114face28547468da9e1b491c67bd5ea53603b (diff) | |
| download | regularization-34d0b9f85c3bc73416f1dc2bb25ef669b9ff8076.tar.gz regularization-34d0b9f85c3bc73416f1dc2bb25ef669b9ff8076.tar.bz2 regularization-34d0b9f85c3bc73416f1dc2bb25ef669b9ff8076.tar.xz regularization-34d0b9f85c3bc73416f1dc2bb25ef669b9ff8076.zip | |
added jenkins build status
Diffstat (limited to 'build/jenkins-build.sh')
0 files changed, 0 insertions, 0 deletions