Check type stubs

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

Sign in to view logs

Triggered via pull request February 4, 2026 05:45

Zeroto521

synchronize #1184

Zeroto521:Term/ptr

Status Success

Total duration 2m 12s

Artifacts –

stubs.yml

on: pull_request