Lint

propagate `sinkdiv` to Monge gap implementation #2018

Sign in to view logs

Triggered via pull request November 18, 2024 12:23

marcocuturi

opened #597

prop-sinkdiv

Status Cancelled

Total duration 1m 7s

Artifacts –

lint.yml

on: pull_request

Matrix: lint

Annotations

3 errors

Canceling since a higher priority waiting request for 'Lint-refs/pull/597/merge' exists

Canceling since a higher priority waiting request for 'Lint-refs/pull/597/merge' exists

The operation was canceled.