Remove useless prefix in set_dot (#2791) · jump-dev/MathOptInterface.jl@703a15e

Triggered via push July 28, 2025 12:48

blegat

master

Status Success

Total duration 10m 38s

Artifacts 1

documentation.yml

on: push

Produced during runtime

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