Skip to content

Merge pull request #16 from YuhanLiin/ci-tweak #80

Merge pull request #16 from YuhanLiin/ci-tweak

Merge pull request #16 from YuhanLiin/ci-tweak #80

Triggered via push June 2, 2025 04:28
Status Success
Total duration 10m 26s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
check that README.md files are synced
4s
check that README.md files are synced
miri testing on unsafe code
10m 19s
miri testing on unsafe code
document released packages
12s
document released packages
Matrix: build-arm-app
Matrix: build
Matrix: check-and-test
Fit to window
Zoom out
Zoom in