kmwebnet/OpenSK
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
294 Commits 4 Branches 2 Tags
95cb04ce5df548887f3ed0a0ff3b97a588efba4d
Commit Graph

59 Commits

Author SHA1 Message Date
Guillaume Endignoux
ad044972b5 Per-OS reproducible elf2tab. 2020-06-09 16:43:01 +02:00
Guillaume Endignoux
6b2df6f2b5 Add elf2tab output to reproducible reference, to easily check for binary size regressions. 2020-06-09 16:27:22 +02:00
Guillaume Endignoux
0604be61a6 Don't fail fast on reproducible workflow and update reference binaries. 2020-05-13 13:24:34 +02:00
Guillaume Endignoux
20f65f9dd7 Add GitHub workflow to check that binaries are reproducible. 2020-05-12 17:41:27 +02:00
Fabian Kaczmarczyck
8bbf42623f adds cargo checks and tests to workflows and locally 2020-04-29 09:53:44 +02:00
Jean-Michel Picod
c9773e0f80 Fix dependency on tockloader 1.4 
Now that it has been released and pushed to pypi, make sure that
tockloader is at least 1.4 version
 2020-04-28 10:02:47 +02:00
Jean-Michel Picod
7cfe3ac3cd Merge branch 'master' into master 2020-04-24 15:37:46 +02:00
Jean-Michel Picod
5ea58bc018 Fix style being used with yapf 0.30.0 2020-04-24 12:38:10 +02:00
Guillaume Endignoux
291d3db553 Add rustfmt component to cargo_fmt workflow. 2020-04-09 13:38:57 +02:00
Guillaume Endignoux
4b9486d0bd Sync with upstream Tock to have reproducible builds. 2020-04-08 15:45:46 +02:00
Guillaume Endignoux
4d5ef342de Update workflows. 2020-03-13 16:03:31 +01:00
Guillaume Endignoux
3deca37699 Add SHA-256 sum computation to CI. 2020-03-12 18:53:16 +01:00
Jean-Michel Picod
0e1c76455d Address review round #2 2020-03-12 12:12:45 +01:00
Jean-Michel Picod
e21c753dd3 Merge branch 'master' into master 2020-03-06 13:36:11 +01:00
Jean-Michel Picod
9b3eca2c78 Fix extraneous globbing in workflows 2020-03-06 11:35:38 +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
Julien Cretin
e52a671810 Support storing in RAM instead of flash 
This permits to run without persistent storage. The benefit is that the board
doesn't implement a the syscall API in Tock. The disadvantage is that rebooting
the key will reset the storage.
 2020-03-04 16:24:06 +01:00
gendx
c56af05c1b Merge branch 'master' into add-debug-allocations 2020-03-04 10:20:39 +01:00
Jean-Michel Picod
2e92227164 Fix cargo audit workflow 
The env context is only available at the step level, not the job one so
we need to use the github context instead. But the head_ref will only be
populated if we run in a pull_request event. So until we find a better
solution, let's match on the repo URL.
 2020-03-03 12:05:38 +01:00
Guillaume Endignoux
9f6207f5a5 Add more cargo check combinations, to include the panic_console and debug_allocations features. 2020-03-02 16:16:55 +01:00
Jean-Michel Picod
f9f27d7f89 Try to avoid running cargo audit on forks (it fails) 2020-03-02 14:28:16 +01:00
Jean-Michel Picod
72ac346d57 Revert strategy.matrix and fix missing release mode 2020-03-02 14:27:51 +01:00
Jean-Michel Picod
73de02d141 Try using strategy.matrix to run cargo check 2020-03-02 14:24:10 +01:00
Jean-Michel Picod
421f8194af Gate also crypto unit tests in pull-request by paths 
These tests take 10 min. Let's avoid running them when not needed.
 2020-02-28 17:10:28 +01:00
Jean-Michel Picod
e30ef9c984 Fix typo 2020-02-28 16:56:15 +01:00
Jean-Michel Picod
40632af186 Remove cargo audit on pull request as it fails 2020-02-28 16:55:18 +01:00
Jean-Michel Picod
ac42e86d37 Also ensure we build on OS X 2020-02-28 16:54:16 +01:00
Jean-Michel Picod
f91538506e Restore path guards 2020-02-28 16:38:42 +01:00
Jean-Michel Picod
578742034e Remove toolchain parameter for workflow 
It seems the github action will pick up the rust-toolchain file and if
we specify it as an input, it will have a higher priority
 2020-02-28 16:32:20 +01:00
Jean-Michel Picod
c8ac2baca3 Fix wrong workflow name 2020-02-28 16:24:21 +01:00
Jean-Michel Picod
ae1242a55d Temp enable all unit test to verify workflows 2020-02-28 16:11:23 +01:00
Jean-Michel Picod
cc35ce5067 Create workflows for unit testing 2020-02-28 16:03:04 +01:00
Jean-Michel Picod
68f9eb6b09 Enables cargo audit on pull request 2020-02-28 15:58:32 +01:00
Jean-Michel Picod
ac37d7dd8a Restore path guards 2020-02-28 15:55:06 +01:00
Jean-Michel Picod
7dedf40440 Fix typo in YAML workflow 2020-02-28 15:53:44 +01:00
Jean-Michel Picod
19056abbf3 Replace custom action by shell script 2020-02-28 15:52:09 +01:00
Jean-Michel Picod
fa19a80366 Try with a custom action 2020-02-27 20:07:29 +01:00
Jean-Michel Picod
db3b23cf22 Still trying to trigger pylint 2020-02-27 19:22:06 +01:00
Jean-Michel Picod
7a86f80e2b Now try to trigger pylint matcher 2020-02-27 19:16:45 +01:00
Jean-Michel Picod
507f4a9f89 Temp disable path restriction 2020-02-27 18:47:21 +01:00
Jean-Michel Picod
28afe7f86f Fix yaml bad indent 2020-02-27 18:43:02 +01:00
Jean-Michel Picod
d69b40f2cf Add custom python problem matcher for pylint and yapf 2020-02-27 18:41:14 +01:00
Jean-Michel Picod
9de4662dee Add more checks 
- python code formatting is tested with yapf
- cron workflow to run cargo audit
- Don't run on latest
 2020-02-25 14:12:37 +01:00
Jean-Michel Picod
53964b1d61 Also run checks on pull requests 2020-02-25 10:25:55 +01:00
Jean-Michel Picod
a13f9cf8bc Restore path restriction 
This avoids running workflows when it's not needed
 2020-02-25 10:07:03 +01:00