Skip to content
Post merge analysis

Auto merge of #144841 - cjgillot:typeck-no-attrs, r=davidtwco #19

Sign in to view logs

Auto merge of #144841 - cjgillot:typeck-no-attrs, r=davidtwco

Auto merge of #144841 - cjgillot:typeck-no-attrs, r=davidtwco #19

Triggered via push August 27, 2025 07:56
@scrabshascrabsha
pushed 269d5b5
master
Status Skipped
Total duration 1s
Artifacts –

post-merge.yml

on: push
analysis
0s
analysis
Fit to window
Zoom out
Zoom in