Skip to content

Auto merge of #13322 - RuairidhWilliamson:anon-trait-import, r=y21 #363

Auto merge of #13322 - RuairidhWilliamson:anon-trait-import, r=y21

Auto merge of #13322 - RuairidhWilliamson:anon-trait-import, r=y21 #363

Triggered via push September 22, 2024 14:53
Status Skipped
Total duration 2s
Artifacts

deploy.yml

on: push
Fit to window
Zoom out
Zoom in