CI

Kimchi/Expr: combining expressions does not increase the degree #450

Sign in to view logs

Triggered via pull request October 14, 2024 12:50

opened #2708

dw/degree-kimchi-combine-constraints

Status Success

Total duration 3h 1m 5s

Artifacts –

ci.yml

on: pull_request

Matrix: Run checks and tests

Matrix: Formatting

Matrix: Building MDBook