Skip to content
CI

Auto merge of #3889 - RalfJung:android-pthread, r=RalfJung #8794

Sign in to view logs

Auto merge of #3889 - RalfJung:android-pthread, r=RalfJung

Auto merge of #3889 - RalfJung:android-pthread, r=RalfJung #8794

Triggered via push September 15, 2024 10:48
@borsbors
pushed d6e68b1
auto
Status Success
Total duration 25m 16s
Artifacts –

ci.yml

on: push
Matrix: build
style checks
3m 53s
style checks
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in