Commit 6ed51c2
committed
add new ci job for examples to bors (#1928)
followup on #1826 (comment): adding the new job to Bors1 parent 2231492 commit 6ed51c2
1 file changed
+1
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
| 10 | + | |
10 | 11 | | |
11 | 12 | | |
12 | 13 | | |
0 commit comments