Guillaume Endignoux
|
4b9486d0bd
|
Sync with upstream Tock to have reproducible builds.
|
2020-04-08 15:45:46 +02:00 |
|
Jean-Michel Picod
|
0e1c76455d
|
Address review round #2
|
2020-03-12 12:12:45 +01:00 |
|
Guillaume Endignoux
|
3af13f1957
|
Add path protection on push for workflows/boards_build.
According to the rules at https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#patterns-to-match-file-paths
|
2020-03-05 17:12:05 +01:00 |
|
Guillaume Endignoux
|
1fca16316e
|
Remove paths rules from workflows/boards_build.
|
2020-03-05 15:31:32 +01:00 |
|
Guillaume Endignoux
|
ed350192c9
|
Move third_party/tock to a long build directory to catch limits in the linker scripts.
|
2020-03-05 12:28:01 +01:00 |
|
Guillaume Endignoux
|
eac6f1d0bd
|
Build boards only when relevant paths are affected.
|
2020-03-05 12:08:28 +01:00 |
|
Guillaume Endignoux
|
6d323f3c5a
|
Apply make suggestions.
|
2020-03-05 12:03:35 +01:00 |
|
Guillaume Endignoux
|
0fe4889624
|
Add GitHub workflow to build the boards.
|
2020-03-05 11:50:26 +01:00 |
|