Skip to content

Auto merge of #3521 - eduardosm:avx2-2, r=RalfJung #7244

Auto merge of #3521 - eduardosm:avx2-2, r=RalfJung

Auto merge of #3521 - eduardosm:avx2-2, r=RalfJung #7244

Triggered via push April 28, 2024 06:42
Status Success
Total duration 30m 56s
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