Skip to content

Auto merge of #3075 - eduardosm:x86-addcarry-subborrow, r=RalfJung #5843

Auto merge of #3075 - eduardosm:x86-addcarry-subborrow, r=RalfJung

Auto merge of #3075 - eduardosm:x86-addcarry-subborrow, r=RalfJung #5843

Triggered via push September 25, 2023 06:10
Status Success
Total duration 34m 23s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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