feat(core): improve PermutedFiniteMonoid.toString #465

Sign in to view logs

Triggered via push January 1, 2024 05:14

shwaka

main

Status Success

Total duration 9m 6s

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