Skip to content
Check generated arginfo files

Merge v1.20 into master #971

Sign in to view logs

Merge v1.20 into master

Merge v1.20 into master #971

Triggered via pull request September 9, 2024 11:58
@mongodb-php-botmongodb-php-bot
opened #1640
merge-v1.20-into-master-1725883124288
Status Success
Total duration 21s
Artifacts –

arginfo-files.yml

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