Rename arity to cardinality #4

Sign in to view logs

Triggered via pull request August 7, 2024 19:31

synchronize #10

dev/7-rename-all-instances-of-arity-to-cardinality

Status Success

Total duration 1m 3s

Artifacts –

pr.yml

on: pull_request

Lint with clippy

Verify code formatting

Verify crate documentation

Check for undefined behaviour with miri

Matrix: test