Skip to content

Revert "improve getter tools, don't export optional getters (#1574)" … #148

Revert "improve getter tools, don't export optional getters (#1574)" …

Revert "improve getter tools, don't export optional getters (#1574)" … #148

Triggered via push September 4, 2024 16:06
Status Success
Total duration 2m 40s
Artifacts
build_and_deploy
2m 32s
build_and_deploy
Fit to window
Zoom out
Zoom in