Check generated arginfo files

Merge v1.20 into master #940

Sign in to view logs

Triggered via pull request September 5, 2024 06:20

mongodb-php-bot

opened #1630

merge-v1.20-into-master-1725517226883

Status Success

Total duration 24s

Artifacts –

arginfo-files.yml

on: pull_request

Matrix: Check generated arginfo files