Skip to content

Auto merge of #3177 - devnexen:fix_pthread_misc_fbsd, r=RalfJung #6205

Auto merge of #3177 - devnexen:fix_pthread_misc_fbsd, r=RalfJung

Auto merge of #3177 - devnexen:fix_pthread_misc_fbsd, r=RalfJung #6205

Triggered via push November 20, 2023 12:22
Status Success
Total duration 26m 47s
Artifacts

ci.yml

on: push
Matrix: build
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