Skip to content
main

Eagerly perform set insertions in nub{Ord,Int} #76

Sign in to view logs

Eagerly perform set insertions in nub{Ord,Int}

Eagerly perform set insertions in nub{Ord,Int} #76

Triggered via pull request July 23, 2026 21:22
@meooow25meooow25
opened #1229
meooow25:nubord-set-eager-insert
Status Success
Total duration 13m 8s
Artifacts –

main.yml

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