Merge bot PR

Introduce all-methods-are-(im)pure #3610

Sign in to view logs

Triggered via pull request October 8, 2025 19:28

opened #4422

VincentLanglet:allMethodsAre

Status Success

Total duration 17s

Artifacts –

merge-bot-pr.yml

on: pull_request