Skip to content

refactor: let Nat.mod reduce more #2326

refactor: let Nat.mod reduce more

refactor: let Nat.mod reduce more #2326

Triggered via pull request May 13, 2024 10:56
@nomeatanomeata
labeled #4145
Status Skipped
Total duration 2s
Artifacts

backport.yml

on: pull_request_target
Backport
0s
Backport
Fit to window
Zoom out
Zoom in