remove derived predicates, again there is no point because they must … #396

Sign in to view logs

Triggered via push January 28, 2024 00:07

mmerickel

main

Status Success

Total duration 3m 21s

Artifacts –

ci-tests.yml

on: push

Validate coverage

Build the documentation

Lint the package

Matrix: test