Skip to content

CI

CI #1428

Triggered via schedule January 11, 2024 02:00
Status Success
Total duration 10m 7s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: schedule
Minimal versions
14s
Minimal versions
Documentation
15s
Documentation
Miri
37s
Miri
Matrix: test
Fit to window
Zoom out
Zoom in