Skip to content
This repository has been archived by the owner on Jun 18, 2024. It is now read-only.

tools/sched_ext: Drop unnecessary stuff from .gitignore #149

Merged
merged 1 commit into from
Feb 27, 2024
+1 −5

tools/sched_ext: Drop unnecessary stuff from .gitignore

c1a2b8f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

tools/sched_ext: Drop unnecessary stuff from .gitignore #149

tools/sched_ext: Drop unnecessary stuff from .gitignore
c1a2b8f
Select commit
Loading
Failed to load commit list.
test-schedulers
succeeded Feb 27, 2024 in 14m 16s