Merge bot PR

Improve `getopt()` function stub #2845

Sign in to view logs

Triggered via pull request November 22, 2024 14:16

janedbal

opened #3655

janedbal:getopt-stub

Status Success

Total duration 23s

Artifacts –

merge-bot-pr.yml

on: pull_request