Skip to content

Merge pull request #226 from efiring/fix_pref_index #176

Merge pull request #226 from efiring/fix_pref_index

Merge pull request #226 from efiring/fix_pref_index #176

Triggered via push February 24, 2026 18:45
Status Success
Total duration 1m 9s
Artifacts
code-generation
1m 4s
code-generation
Fit to window
Zoom out
Zoom in