Miri

Merge remote-tracking branch 'origin/main' #12

Sign in to view logs

Triggered via push September 21, 2024 17:51

marvin-j97

main

Status Success

Total duration 1m 57s

Artifacts –

miri.yml

on: push

Matrix: test