Merge bot PR

Array without 0 is not a list #3207

Sign in to view logs

Triggered via pull request May 24, 2025 22:38

opened #4018

VincentLanglet:listWithout0

Status Success

Total duration 23s

Artifacts –

merge-bot-pr.yml

on: pull_request