Skip to content

migrate to jspecify annotations (was checker framework) #4969

migrate to jspecify annotations (was checker framework)

migrate to jspecify annotations (was checker framework) #4969

Triggered via push November 26, 2024 07:58
Status Success
Total duration 1m 5s
Artifacts
Validation
26s
Validation
Fit to window
Zoom out
Zoom in