Skip to content

Auto merge of #12968 - ferrocene:pa-omit-git-hash, r=weihanglo #72

Auto merge of #12968 - ferrocene:pa-omit-git-hash, r=weihanglo

Auto merge of #12968 - ferrocene:pa-omit-git-hash, r=weihanglo #72

Triggered via push November 19, 2023 15:39
Status Success
Total duration 4m 3s
Artifacts

contrib.yml

on: push
Fit to window
Zoom out
Zoom in