Changelog check

new subcommand: opam admin migrate-extrafiles #4718

Sign in to view logs

Summary
Jobs
- diff
Run details
- Usage
- Workflow file

Triggered via pull request February 19, 2025 17:58

rjbou

synchronize #5960

hannesm:migrate

Status Failure

Total duration 14s

Artifacts –

changelog_check.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.