Jeff Epler
|
6afe732151
|
changes in ports/unix don't trigger any board builds
|
2021-11-12 13:09:33 -06:00 |
|
Jeff Epler
|
30f3cf31e2
|
account for deleted boards
|
2021-10-26 14:06:07 -05:00 |
|
microDev
|
6c94234b72
|
allow any character except / in port or board name
|
2021-10-22 20:08:02 +05:30 |
|
microDev
|
87dc84af3c
|
more ci docs build changes
- some refactoring
- add doc build tools to search pattern
- build all if trigger event is not a pr
|
2021-09-17 19:13:03 +05:30 |
|
microDev
|
e91fb247a3
|
build docs dynamically
|
2021-09-16 00:05:42 +05:30 |
|