Validate JSON

Add support for Agda #500

Sign in to view logs

Summary
Jobs
- validate
Run details
- Usage
- Workflow file

Triggered via pull request August 31, 2025 17:47

iagoleal

opened #502

iagoleal:agda

Status Success

Total duration 8s

Artifacts –

json_schema.yml

on: pull_request