Skip to content

Merge pull request #424 from ppedrot/fast-namegen-detyping #500

Merge pull request #424 from ppedrot/fast-namegen-detyping

Merge pull request #424 from ppedrot/fast-namegen-detyping #500

Triggered via push September 2, 2024 08:29
Status Success
Total duration 12m 33s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in