Rename mod divu to mod div
#2889
Triggered via pull request
December 11, 2024 01:45
matthiasgoergens
Status
Success
Total duration
20m 10s
Artifacts
–
lints.yml
on: pull_request
skip_check
5s
Matrix: Various lints