Skip to content
Check generated arginfo files

Merge v1.20 into master #964

Sign in to view logs

Merge v1.20 into master

Merge v1.20 into master #964

Triggered via pull request September 9, 2024 09:43
@mongodb-php-botmongodb-php-bot
opened #1638
merge-v1.20-into-master-1725874988343
Status Success
Total duration 23s
Artifacts –

arginfo-files.yml

on: pull_request
Check generated arginfo files
11s
Check generated arginfo files
Fit to window
Zoom out
Zoom in