Test Generated JSON

Bump etc/coq-scripts from `8b66ebe` to `2df5dbe` #3550

Sign in to view logs

Summary
Jobs
- test-json
Run details
- Usage
- Workflow file

The logs for this run have expired and are no longer available.