Assign MIP number

fix MIP-1 example typo #8

Sign in to view logs

Triggered via pull request July 7, 2023 15:20

adonesky1

closed #18

fix-mip1-typo

Status Success

Total duration 15s

Artifacts –

mip-number-assignment.yml

on: pull_request

assign_mip_number