Skip to content

Merge pull request #163 from upb-lea/clean_enums #316

Merge pull request #163 from upb-lea/clean_enums

Merge pull request #163 from upb-lea/clean_enums #316

Triggered via push August 29, 2025 15:49
Status Success
Total duration 3m 58s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
html-docs Expired
9.64 MB
sha256:f4d1af454421f6139790d4a97e1424c3428b9b333a56693befc9493dcbf31d06