Lints

Rename `mod divu` to `mod div` (#733) #2891

Sign in to view logs

Triggered via push December 11, 2024 02:25

kunxian-xia

master

Status Success

Total duration 36s

Artifacts –

lints.yml

on: push

Matrix: Various lints