Skip to content

Rename delay_for to sleep #985

Rename delay_for to sleep

Rename delay_for to sleep #985

Triggered via push April 16, 2024 11:51
Status Cancelled
Total duration 7m 20s
Artifacts

ci.yml

on: push
Matrix: build_feature
Fit to window
Zoom out
Zoom in

Annotations

4 errors
miri_rune
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
miri_rune
The operation was canceled.
miri_rune_alloc
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
miri_rune_alloc
The operation was canceled.