Use Parent in number fields and QQ #8562

Sign in to view logs

Triggered via pull request January 18, 2024 10:35

fchapoton

synchronize #37069

fchapoton:use_parent_number_field_QQ

Status Success

Total duration 2h 44m 2s

Artifacts 1

build.yml

on: pull_request

Artifacts

Produced during runtime

Name	Size
upstream Expired	256 KB