feat(core): improve error message in FiniteMonoidMap.checkFiniteMonoi… #462

Sign in to view logs

Triggered via push December 24, 2023 15:13

shwaka

main

Status Success

Total duration 8m 58s

Artifacts –

main.yml

on: push

build-core / main

run-sample / main

setup-website / main

test-core / main

benchmark-core / main

docs-core / main

test-kotlin-js / main

lint-core / main

lint-website / main

test-website / main

benchmark-website / main

build-website / main

Annotations

1 warning

lint-website / main: website/src/components/Calculator/IdealConfig/IdealEditorItem.tsx#L38

'getValues' is defined but never used. Allowed unused args must match /^_/u