Merge pull request #1 from ivonnyssen/fix_miri #16

Sign in to view logs

Triggered via push October 26, 2023 01:17

ivonnyssen

main

Status Success

Total duration 50s

Artifacts –

scheduled.yml

on: push

ubuntu / nightly

ubuntu / beta / updated