Skip to content

core: mutex: add support timeout condvar #437

core: mutex: add support timeout condvar

core: mutex: add support timeout condvar #437

Triggered via push April 16, 2024 01:15
Status Success
Total duration 49m 33s
Artifacts

ci.yml

on: push
Code style
59s
Code style
make (multi-platform)
34m 23s
make (multi-platform)
make check (QEMUv7)
31m 22s
make check (QEMUv7)
make check (QEMUv8)
49m 23s
make check (QEMUv8)
make check (QEMUv8, Xen)
24m 45s
make check (QEMUv8, Xen)
make check (QEMUv8, Hafnium)
21m 6s
make check (QEMUv8, Hafnium)
make check (QEMUv8, BTI+MTE+PAC)
18m 40s
make check (QEMUv8, BTI+MTE+PAC)
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
make check (QEMUv8, BTI+MTE+PAC)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
make check (QEMUv8, Hafnium)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
make check (QEMUv8, Xen)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
make check (QEMUv7)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
make (multi-platform)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
make check (QEMUv8)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.