Skip to content
DevSkim

migrate to jspecify annotations (was checker framework) #3375

Sign in to view logs

migrate to jspecify annotations (was checker framework)

migrate to jspecify annotations (was checker framework) #3375

Triggered via push November 26, 2024 05:00
@ben-manesben-manes
pushed 28436b9
v3.dev
Status Success
Total duration 48s
Artifacts –

devskim.yml

on: push
DevSkim
38s
DevSkim
Fit to window
Zoom out
Zoom in