diff options
| author | Gaëtan Gilbert | 2020-05-20 14:24:02 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-05-20 14:24:02 +0200 |
| commit | 9a8e6cbe372474c82f8988259f80e8b4c0a819c0 (patch) | |
| tree | c8d386fd2618fd7ef2b53a6ecb5d3ce863fc8f40 /.gitlab-ci.yml | |
| parent | 5fcd4fcd5b6a7fe3606b9a1f97093c85909b471d (diff) | |
| parent | e7908df3f70b5f7b5e012ca10d62dfbf15614cdb (diff) | |
Merge PR #12359: [ci] Add mit-plv/engine-bench
Reviewed-by: SkySkimmer
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4139a0dbe5..fe8370e849 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -698,6 +698,9 @@ library:ci-coquelicot: library:ci-cross_crypto: extends: .ci-template +library:ci-engine_bench: + extends: .ci-template + library:ci-fcsl_pcm: extends: .ci-template |