 Jakob Ackermann
|
e05ec0321b
[server-pro] extend hotfix 5.5.5: avoid creating user_files directory (#28738)
|
10 mesi fa |
|
Jakob Ackermann
|
a51ba7a7d5
[server-ce] tests: add junit integration for Jenkins (#28732)
|
10 mesi fa |
|
Jakob Ackermann
|
3b232ca419
[server-pro] add caching to docker build (#27887)
|
10 mesi fa |
|
Jakob Ackermann
|
a6e9a5c7e9
[monorepo] run prettier on Jenkinsfiles (#28565)
|
10 mesi fa |
|
Jakob Ackermann
|
66934586b1
[monorepo] reset Jenkins pipeline vars (#28573)
|
10 mesi fa |
|
Jakob Ackermann
|
74746a096c
[monorepo] rebuild lezer output as part of 'make install' (#28545)
|
11 mesi fa |
|
Jakob Ackermann
|
1fe750910e
[monorepo] add 3 retries to all the Jenkins pipelines (#28516)
|
11 mesi fa |
|
Jakob Ackermann
|
2c9ce619dd
[monorepo] document jenkins pipelines (#27954)
|
11 mesi fa |
|
Jakob Ackermann
|
b6b6bf82bd
[monorepo] try harder at timing out Jenkins builds (#27897)
|
1 anno fa |
|
Jakob Ackermann
|
836e8b5144
[monorepo] extend cleanup in Jenkins VMs (#27793)
|
1 anno fa |
|
Jakob Ackermann
|
ac9c20e8d2
[monorepo] tweaks for Jenkins/CI (#27761)
|
1 anno fa |
|
Jakob Ackermann
|
16daea27ad
[server-ce] tests: optimize sharding (#27635)
|
1 anno fa |
|
Jakob Ackermann
|
48ff696a69
[monorepo] fail fast when parallel build steps fail in Jenkins (#27632)
|
1 anno fa |
|
Jakob Ackermann
|
98e82e9f88
[server-ce] tests: add jenkins integration (#27600)
|
1 anno fa |
