diff options
| author | Pierre-Marie Pédrot | 2020-09-18 11:51:54 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-09-18 11:51:54 +0200 |
| commit | ff508baf8de691dfa94b9d65d7c77cf395127381 (patch) | |
| tree | 73c6c2f6d1085268e2481ef5f5c2f35563e8d0b7 /.gitlab-ci.yml | |
| parent | fdacb149ddb874acd5e5d7943d93bfab1955f4a1 (diff) | |
| parent | 9cc65e592fda6c84e7f1eb8bee3e79a7ce777323 (diff) | |
Merge PR #12610: [leminv] [declare] Use higher-level Declare API.
Ack-by: SkySkimmer
Reviewed-by: ppedrot
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions