Skip to content
🏷️ Changelog Label

[Evaluation] [Performance] Ditch 'NamedDeBruijn' in favor of 'DeBruijn' #1630

Sign in to view logs

[Evaluation] [Performance] Ditch 'NamedDeBruijn' in favor of 'DeBruijn'

[Evaluation] [Performance] Ditch 'NamedDeBruijn' in favor of 'DeBruijn' #1630

Triggered via pull request November 25, 2024 07:01
@effectfullyeffectfully
labeled #6706
effectfully/evaluation/ditch-NamedDeBruijn
Status Success
Total duration 22s
Artifacts –

changelog-label.yml

on: pull_request
Check
14s
Check
Fit to window
Zoom out
Zoom in