Remove useless prefix in set_dot · jump-dev/MathOptInterface.jl@7f1ce34

Triggered via pull request July 28, 2025 09:07

blegat

opened #2791

bl/util_set_dot

Status Success

Total duration 10m 58s

Artifacts 1

documentation.yml

on: pull_request

Produced during runtime

Name	Size	Digest
PDF build logs Expired	1.52 MB	`sha256:bfd483ad5a9e0c8b45c42b83ccd5294a078aa3446ca5460a810e536d5d744e1e`