ci

Merge branch 'main' into fixes-for-miri #607

Sign in to view logs

Triggered via push May 14, 2024 17:25

robamu

fixes-for-miri

Status Success

Total duration 2m 13s

Artifacts –

ci.yml

on: push

Check formatting

Check Documentation Build

Matrix: Check build

Matrix: Check Cross-Compilation