MIPVerify.jl

MIPVerify.jl contient 1 skills collectées depuis vtjeng, avec une couverture métier par dépôt et des pages de détail sur le site.

Profil vtjeng Voir sur GitHub

skills collectés

Stars

117

mis à jour

2026-07-18

Forks

Couverture métier

Développeurs de logiciels

1 catégories métier · 100% classifié

explorateur de dépôts

Skills dans ce dépôt

créateur/dépôt/skill

skill

métier

description

mis à jour

cut-release

Développeurs de logiciels

Prepare and cut MIPVerify.jl releases from version selection through release-note drafting, the release pull request, JuliaRegistrator, the General registry, TagBot, and final verification. Use when asked to draft or revise MIPVerify release notes, bump the package version, open or merge a release PR, register a new version, monitor release automation, or verify a completed release.

2026-07-18