|
7db3720739
|
Update Jenkinsfile
|
2023-12-02 10:12:28 +01:00 |
|
|
09f2328c03
|
Update Jenkinsfile
|
2023-12-02 10:07:50 +01:00 |
|
|
5ad1079789
|
update Jenkinsfile
|
2021-09-18 16:39:06 +02:00 |
|
|
790abf75c3
|
add removal of bincrafter
|
2021-09-18 12:52:51 +02:00 |
|
|
e88f763603
|
fix wrong conan repo address
|
2021-09-18 12:31:57 +02:00 |
|
|
a5ae4d5494
|
fix remote setting for minres conan repo
|
2021-09-18 12:23:35 +02:00 |
|
|
a82d6e408b
|
add ubuntu-20.04 in Jenkins setup
|
2020-08-07 09:44:47 +02:00 |
|
|
3cdc7431ad
|
„Jenkinsfile“ ändern
|
2020-06-23 18:24:55 +02:00 |
|
|
744db33d41
|
parallel jenkins setup
|
2020-06-23 18:19:12 +02:00 |
|
|
2552973c15
|
Initial Jenkins setup
|
2020-06-23 16:46:24 +02:00 |
|