Skip to content
CI

Merge pull request #249 from erer1243/update-docs-lifetime #1594

Sign in to view logs

Merge pull request #249 from erer1243/update-docs-lifetime

Merge pull request #249 from erer1243/update-docs-lifetime #1594

Triggered via push July 5, 2023 16:41
@dtolnaydtolnay
pushed 85172d3
master
Status Success
Total duration 2m 34s
Artifacts –

ci.yml

on: push
pre_ci  /  pre_ci
2s
pre_ci / pre_ci
Clippy
28s
Clippy
Outdated
7s
Outdated
Minimal versions
19s
Minimal versions
Miri
1m 8s
Miri
Matrix: test
Fit to window
Zoom out
Zoom in