Skip to content
ci

feat: order lemmas for UIntX types #10070

Sign in to view logs

feat: order lemmas for UIntX types

feat: order lemmas for UIntX types #10070

Triggered via pull request November 29, 2024 18:43
@fgdoraisfgdorais
synchronize #854
fgdorais:uint-order
Status Success
Total duration 46s
Artifacts –

build.yml

on: pull_request
Build
38s
Build
Fit to window
Zoom out
Zoom in