Merge pull request #2679 from maximedenes/fix-json-data #11

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push August 20, 2023 10:53

maximedenes

master

Status Success

Total duration 3m 16s

Artifacts –

ci.yml

on: push

http://coq.github.io/opam/