Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
jetty.project/build
History
Joakim Erdfelt 1031bf1374
Restore stage separated Jenkinsfile (#8272) 
* Restore stage separated Jenkinsfile

* add -Dmaven.test.failure.ignore=true

* change -f jetty-home to -pl :jetty-home

* update script ci.sh with -pl :jetty-home

Co-authored-by: Olivier Lamy <oliver.lamy@gmail.com>
 		2022-07-08 19:06:04 +10:00
..
build-resources Jetty-12 Restructure 2022-05-03 15:50:54 +02:00
scripts Restore stage separated Jenkinsfile (#8272) 2022-07-08 19:06:04 +10:00
pom.xml Jetty-12 Restructure 2022-05-03 15:50:54 +02:00