diff options
| author | Heinrich Schuchardt <[email protected]> | 2023-03-26 02:55:12 +0000 |
|---|---|---|
| committer | Heinrich Schuchardt <[email protected]> | 2023-04-01 10:11:50 +0200 |
| commit | ffc1cfb8f4cbd2bd28be5877040821ccbda3e08b (patch) | |
| tree | b52a9da6c955bd854cfece5af10bd9cbd26ea644 /doc/develop | |
| parent | 854aaf9024fc70cae31672eb3db1583d8f88e94d (diff) | |
doc: describe skipping triggering a pipeline in Gitlab
'git push -o ci.skip' can be used to push to Gitlab without triggering a
pipeline.
Signed-off-by: Heinrich Schuchardt <[email protected]>
Reviewed-by: Simon Glass <[email protected]>
Diffstat (limited to 'doc/develop')
| -rw-r--r-- | doc/develop/ci_testing.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/develop/ci_testing.rst b/doc/develop/ci_testing.rst index b9a9a516c1e..ffaacedc3d8 100644 --- a/doc/develop/ci_testing.rst +++ b/doc/develop/ci_testing.rst @@ -50,6 +50,12 @@ runners you are able to provide. While it is intended to be able to run this pipeline on the free public instances provided at https://gitlab.com/ a problem with our squashfs tests currently prevents this. +To push to Gitlab without triggering a pipeline use: + +.. code-block:: bash + + git push -o ci.skip + Docker container ---------------- |