mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-13 12:51:16 +00:00
gitlab-ci: Try timestamps on CI logs
https://docs.gitlab.com/ee/ci/yaml/ci_job_log_timestamps.html Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/7383>
This commit is contained in:
parent
6cf3d32886
commit
0fc5210c48
1 changed files with 2 additions and 0 deletions
|
@ -70,6 +70,8 @@ variables:
|
|||
-Dgstreamer-sharp:werror=false
|
||||
-Ddoc=disabled
|
||||
|
||||
FF_TIMESTAMPS: true
|
||||
|
||||
workflow:
|
||||
# https://docs.gitlab.com/ee/ci/yaml/index.html#switch-between-branch-pipelines-and-merge-request-pipelines
|
||||
rules:
|
||||
|
|
Loading…
Reference in a new issue