diff options
| author | Gaëtan Gilbert | 2020-11-25 11:27:07 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-12-02 10:43:10 +0100 |
| commit | 61a784aa031d1fcb0913e83206faa5265e3f5a17 (patch) | |
| tree | 454a4c2e3eae40e2936fd4fde78fc142e6e97568 /kernel/cPrimitives.ml | |
| parent | b3b4d641dafe58ad04932c5bb5cc2f4f3f54d91f (diff) | |
gitlab CI: remove redundant "dependencies" info
When we started using "needs" for the acyclic graph scheduling we
needed to duplicate dependencies and needs (I forgot if it was
documented or just buggy).
Nowadays gitlab doc https://docs.gitlab.com/ee/ci/yaml/#needs says
>In GitLab 12.6 and later, you can’t combine the dependencies keyword
with needs to control artifact downloads in jobs. dependencies is
still valid in jobs that do not use needs.
Some jobs in stage-1 had "dependencies: []" without a corresponding
"needs", not sure why as the only job in a previous stage is
docker-boot which has no artifacts to skip.
We don't want "needs: []" as that would fail to wait for the docker
image, so we just have nothing instead.
Diffstat (limited to 'kernel/cPrimitives.ml')
0 files changed, 0 insertions, 0 deletions
