Skip to content

new subcommand: opam admin migrate-extrafiles #4736

new subcommand: opam admin migrate-extrafiles

new subcommand: opam admin migrate-extrafiles #4736

Triggered via pull request February 21, 2025 18:16
Status Success
Total duration 12s
Artifacts

changelog_check.yml

on: pull_request
Fit to window
Zoom out
Zoom in