Assign MIP number

move mip-1 to last call #7

Sign in to view logs

Triggered via pull request July 6, 2023 14:06

adonesky1

closed #17

mip1-last-call

Status Success

Total duration 19s

Artifacts –

mip-number-assignment.yml

on: pull_request

assign_mip_number