Skip to content
main

Improve performance of nub{Ord,Int}On after fusion #23

Sign in to view logs

Improve performance of nub{Ord,Int}On after fusion

Improve performance of nub{Ord,Int}On after fusion #23

Triggered via pull request April 26, 2026 12:54
@meooow25meooow25
opened #1206
meooow25:improve-nub-ord
Status Success
Total duration 10m 26s
Artifacts –

main.yml

on: pull_request
Matrix: main
Fit to window
Zoom out
Zoom in