Skip to content
Validate JSON

Add support for Agda (#502) #514

Sign in to view logs

Add support for Agda (#502)

Add support for Agda (#502) #514

Triggered via push November 1, 2025 21:58
@b3nj5m1nb3nj5m1n
pushed e0caa63
main
Status Success
Total duration 8s
Artifacts –

json_schema.yml

on: push
validate
5s
validate
Fit to window
Zoom out
Zoom in