changeset 77570 | 98b4a9902582 |
parent 77521 | 5642de4d225d |
child 78821 | 4c5aadf1cb48 |
77569:a8fa53c086a4 | 77570:98b4a9902582 |
---|---|
1 /* Title: Pure/Admin/ci_profile.scala |
1 /* Title: Pure/Admin/ci_build.scala |
2 Author: Lars Hupel and Fabian Huch, TU Munich |
2 Author: Lars Hupel and Fabian Huch, TU Munich |
3 |
3 |
4 Build profile for continuous integration services. |
4 Build profile for continuous integration services. |
5 */ |
5 */ |
6 |
6 |