Skip to content

Remove unnecessary shifts in gcd() (#12480) #26

Remove unnecessary shifts in gcd() (#12480)

Remove unnecessary shifts in gcd() (#12480) #26

Triggered via push September 17, 2024 02:52
Status Success
Total duration 22s
Artifacts

dev.yml

on: push
Release Audit Tool (RAT)
7s
Release Audit Tool (RAT)
Use prettier to check formatting of documents
10s
Use prettier to check formatting of documents
Fit to window
Zoom out
Zoom in