Lint Opam

[8.20] Bump MetaCoq version #44

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request January 29, 2025 18:54

4ever2

synchronize #260

4ever2:deps20

Status Success

Total duration 3m 55s

Artifacts –

lint-opam.yml

on: pull_request