Skip to content

Merge pull request #1 from ivonnyssen/fix_miri #15

Merge pull request #1 from ivonnyssen/fix_miri

Merge pull request #1 from ivonnyssen/fix_miri #15

Triggered via push October 26, 2023 01:17
Status Success
Total duration 1m 17s
Artifacts

test.yml

on: push
ubuntu / stable / minimal-versions
1m 5s
ubuntu / stable / minimal-versions
ubuntu / stable / coverage
53s
ubuntu / stable / coverage
Matrix: required
Fit to window
Zoom out
Zoom in