Back to pull request #1934

Adapt w.r.t. coq/coq#19228. #4445

Sign in to view logs

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

Triggered via pull request July 28, 2024 21:11

ppedrot

opened #1934

ppedrot:template-no-sup-constraints

Status Success

Total duration 21s

Artifacts –

json.yml

on: pull_request