PR #50407 QA / Add a mic runner in Make

QA / Add a mic runner in Make #50407

tarekziade merged 14 commits into main from tarek/run-mic

run mic - draft

9a5206d4

make it a checker

bf83ee12

make it a checker

0e4e1166

tweaks

80c1b878

tweak devex

9c9d4650

jobs

a5382ac1

hints on installing stuff

9024bc6b

ydshieh approved these changes on 2026-11-06

Merge branch 'main' into tarek/run-mic

c79e800f

hf-doc-builder released

7814bbab

@ydshieh reviews

2059b069

fix tests

7ab204f7

Merge branch 'main' into tarek/run-mic

522c9a9d

Merge branch 'main' into tarek/run-mic

217ebb27

tarekziade enabled auto-merge 14 hours ago

Merge branch 'main' into tarek/run-mic

09ceb54b

tarekziade merged 863d2620 into main 14 hours ago

tarekziade deleted the tarek/run-mic branch 14 hours ago

Reviewers

ydshieh

Assignees

No one assigned

Labels

None yet

Milestone

No milestone