Auto merge of #3433 - adder32:define-getname-info-extensions, r=JohnT… #114

Sign in to view logs

Triggered via push November 14, 2023 19:17

JohnTitor

main

Status Success

Total duration 5m 15s

Artifacts –

main.yml

on: push

Matrix: Docker Linux Tier1

Matrix: macOS

Matrix: Windows