diff options
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/notes/emba | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/notes/emba b/admin/notes/emba index a30e570fd47..f1b52b2cde0 100644 --- a/admin/notes/emba +++ b/admin/notes/emba | |||
| @@ -35,7 +35,7 @@ The Emacs jobset is defined in the Emacs source tree, file | |||
| 35 | A jobset on Gitlab is called pipeline. Emacs pipelines run through | 35 | A jobset on Gitlab is called pipeline. Emacs pipelines run through |
| 36 | the stages 'build-images', 'platform-images' and 'native-comp-images' | 36 | the stages 'build-images', 'platform-images' and 'native-comp-images' |
| 37 | (create an Emacs instance by 'make bootstrap' with different | 37 | (create an Emacs instance by 'make bootstrap' with different |
| 38 | configuration parameters) as well as 'normal', 'slow', 'platforms' and | 38 | configuration parameters) as well as 'normal', 'platforms' and |
| 39 | 'native-comp' (run respective test jobs based on the produced images). | 39 | 'native-comp' (run respective test jobs based on the produced images). |
| 40 | 40 | ||
| 41 | The jobs for stage 'normal' are contained in the file | 41 | The jobs for stage 'normal' are contained in the file |