Remove unnecessary repo name
Removing the repo name allows to run the pipeline in a repo with another name than the original. This prevents to change or remove 'antora/antora-ui-default' as it is now name agnostic, e.g., when someone forks the repo and runs the pipeline. Without this change those jobs with 'antora/antora-ui-default' would not be included/excluded correctly.
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Setup | |||||||||
| passed |
#806191027
|
install |
00:01:05
|
|
|||||
| Verify | |||||||||
| passed |
#806191028
|
lint |
00:01:10
|
|
|||||
| Deploy | |||||||||
| passed |
#806191030
|
bundle-stable |
00:01:20
|
|
|||||
| passed |
#806191032
|
pages |
00:02:16
|
|
|||||
| passed |
#806202212
external
|
pages:deploy |
00:00:00
|
||||||