Integration

Merge branch 'main' into 1-split-rule #8124

Sign in to view logs

Triggered via push November 8, 2025 04:51

JonasRegehr

1-split-rule

Status Success

Total duration 5m 7s

Artifacts –

tests.yml

on: push

Matrix: Integration tests (Hamming)