CI PR

Feature/tuple-terms #833

Sign in to view logs

Triggered via pull request December 1, 2023 14:33

opened #439

feature/tuple-terms

Status Success

Total duration 6m 8s

Artifacts –

pr.yml

on: pull_request

Lint with clippy

Verify code formatting

Verify crate documentation

Check for undefined behaviour with miri

Test python bindings

Check python code formatting

Test wasm bindings

Matrix: test