Use lower max degree by default and let user change it · powdr-labs/powdr@3b5a311

Triggered via pull request October 25, 2024 07:20

synchronize #1948

user-degree

Status Success

Total duration 45m 5s

Artifacts 1

pr-tests.yml

on: pull_request

Matrix: test_quick

Matrix: test_slow

Produced during runtime

Name	Size
tests_archive	1.02 GB