Skip to content

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

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

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

Triggered via pull request November 26, 2024 21:43
Status Success
Total duration 1m 56s
Artifacts

ci-super-linter.yml

on: pull_request
Fit to window
Zoom out
Zoom in