|
|
2e4ec738e6
|
Edit jenkins credentials for ssh.
|
2019-08-23 22:18:15 +02:00 |
|
|
|
6c0e8870be
|
Edit jenkins credentials for gitea server.
|
2019-08-23 22:14:04 +02:00 |
|
|
|
24fff28d23
|
Update build tools references.
|
2019-08-23 22:07:03 +02:00 |
|
|
|
bf297c7f16
|
Edit pipeline for new server configuration.
|
2019-08-23 21:40:05 +02:00 |
|
|
|
b62da6b00f
|
Correct release pipeline.
|
2019-08-13 21:57:29 +02:00 |
|
|
|
b3bb993867
|
Set server properties for production.
|
2019-08-13 21:46:31 +02:00 |
|
|
|
9423f64284
|
Edit paths in jenkinsfile of production.
|
2019-08-11 22:08:09 +02:00 |
|
|
|
53f49ab13f
|
Add jenkinsfile for production.
|
2019-08-11 19:45:36 +02:00 |
|
