[ cleanup ] Make `Nat`'s `NonZero` to be an alias for `IsSucc` #4634

Sign in to view logs

Summary
Jobs
- Sphinx
Run details
- Usage
- Workflow file

Triggered via pull request November 27, 2024 09:03

buzden

synchronize #3405

buzden:nat-nonzero-issucc

Status Success

Total duration 33s

Artifacts –

ci-sphinx.yml

on: pull_request