Skip to content
Lint Code Base

[ base ] Make Nat's NonZero to be an alias for IsSucc (#3405) #6498

Sign in to view logs

[ base ] Make Nat's NonZero to be an alias for IsSucc (#3405)

[ base ] Make Nat's NonZero to be an alias for IsSucc (#3405) #6498

Triggered via push November 27, 2024 12:52
@mattpolzinmattpolzin
pushed 110ffd3
main
Status Success
Total duration 2m 0s
Artifacts –

ci-super-linter.yml

on: push
Lint Code Base
1m 51s
Lint Code Base
Fit to window
Zoom out
Zoom in