Check type stubs

Deprecated `Term.ptrtuple` and speed up `Term.eq` #311

Sign in to view logs

Triggered via pull request February 4, 2026 05:36

Zeroto521

opened #1184

Zeroto521:Term/ptr

Status Success

Total duration 2m 16s

Artifacts –

stubs.yml

on: pull_request