Skip to content
CI

Auto merge of #119675 - cjgillot:set-no-discriminant, r=tmiasko #302

Sign in to view logs

Auto merge of #119675 - cjgillot:set-no-discriminant, r=tmiasko

Auto merge of #119675 - cjgillot:set-no-discriminant, r=tmiasko #302

Triggered via push January 7, 2024 20:45
@saethlinsaethlin
pushed 75c68cf
master
Status Skipped
Total duration 6s
Artifacts –

ci.yml

on: push
Matrix: auto
Matrix: try
master
0s
master
Matrix: pr
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in