Lint Opam

[8.20] Bump MetaCoq version #43

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request January 29, 2025 18:43

4ever2

synchronize #260

4ever2:deps20

Status Success

Total duration 44s

Artifacts –

lint-opam.yml

on: pull_request