mirror of
https://github.com/docker/docs.git
synced 2026-03-27 14:28:47 +07:00
Merge pull request #83 from SvenDowideit/start-migrating-to-jenkinsfile
Initial Jenkinsfile
(cherry picked from commit 9736bd57db)
This commit is contained in:
committed by
Sven Dowideit
parent
e1e10e0ea6
commit
b9b87bed67
8
Jenkinsfile
vendored
Normal file
8
Jenkinsfile
vendored
Normal file
@@ -0,0 +1,8 @@
|
||||
// Only run on Linux atm
|
||||
wrappedNode(label: 'linux') {
|
||||
deleteDir()
|
||||
stage "checkout"
|
||||
checkout scm
|
||||
|
||||
documentationChecker("docs")
|
||||
}
|
||||
@@ -48,7 +48,7 @@ and community of the Docker Project.
|
||||
* Michael Crosby
|
||||
* Steve Francia
|
||||
* Stephen Day
|
||||
* Arnaud Poterie
|
||||
* Arnaud Porterie
|
||||
|
||||
## Individual Contributors
|
||||
|
||||
@@ -64,7 +64,7 @@ and community of the Docker Project.
|
||||
* Ahmet Alp Balkan (Microsoft)
|
||||
* Rohit Jnagal (Google)
|
||||
|
||||
## User
|
||||
## Users
|
||||
|
||||
* Nicola Paolucci (Atlassian)
|
||||
* Burke Libbey (Shopify)
|
||||
|
||||
Reference in New Issue
Block a user