Test Generated JSON

Update coq-archlinux.yml #4143

Sign in to view logs

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

Triggered via push March 19, 2024 02:37

andres-erbsen-patch-2

Status Success

Total duration 23s

Artifacts –

json.yml

on: push