Skip to content
Lint the sources

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

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) #6579

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

ci-lint.yml

on: push
build
8s
build
Fit to window
Zoom out
Zoom in