changeset 77570 | 98b4a9902582 |
parent 77521 | 5642de4d225d |
child 78821 | 4c5aadf1cb48 |
--- a/src/Pure/Admin/ci_build.scala Tue Mar 07 23:09:30 2023 +0100 +++ b/src/Pure/Admin/ci_build.scala Tue Mar 07 23:24:40 2023 +0100 @@ -1,4 +1,4 @@ -/* Title: Pure/Admin/ci_profile.scala +/* Title: Pure/Admin/ci_build.scala Author: Lars Hupel and Fabian Huch, TU Munich Build profile for continuous integration services.