Changelog check

new subcommand: opam admin migrate-extrafiles #4735

Sign in to view logs

Summary
Jobs
- diff
Run details
- Usage
- Workflow file

Triggered via pull request February 21, 2025 16:36

rjbou

synchronize #5960

hannesm:migrate

Status Failure

Total duration 9s

Artifacts –

changelog_check.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.