Skip to content
main

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

Sign in to view logs

Eagerly perform set insertions in nub{Ord,Int}

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

Triggered via pull request July 26, 2026 22:57
@meooow25meooow25
synchronize #1229
meooow25:nubord-set-eager-insert
Status Success
Total duration 12m 51s
Artifacts –

main.yml

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