diff options
| author | Gaëtan Gilbert | 2020-04-13 16:43:05 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-04-13 16:43:05 +0200 |
| commit | f2cdb87232e3b04cbd1e199833253fb3e38156f8 (patch) | |
| tree | 8c3ab7c3ce5e3cbafcf0fe85d1265eb5d4e80bb6 /dev/ci/docker | |
| parent | b8fcbecf8e1b96dcb47f15ac7573197de43f0bdb (diff) | |
| parent | 39c4f9030f3aefdb7581aa02dd4b0c0d1ef89ee5 (diff) | |
Merge PR #11916: [proof] Introduce `prepare_proof` to improve normalization workflow.
Reviewed-by: SkySkimmer
Ack-by: gares
Ack-by: ppedrot
Diffstat (limited to 'dev/ci/docker')
0 files changed, 0 insertions, 0 deletions