- Mar 03, 2020
-
-
Jean-Michel Picod authored
Fix cargo audit workflow
-
Jean-Michel Picod authored
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.
-
- Mar 02, 2020
-
-
Jean-Michel Picod authored
Fix clippy warnings.
-
Jean-Michel Picod authored
Because of libtock-rs we can't run clippy on our codebase. But it could run at least on `build.rs`.
-
Jean-Michel Picod authored
Run everything that Travis-CI is running as Github workflows
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
- Feb 28, 2020
-
-
Jean-Michel Picod authored
These tests take 10 min. Let's avoid running them when not needed.
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
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
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
gendx authored
Import bugfix from https://github.com/tock/tock/pull/1636 as a patch.
-
Jean-Michel Picod authored
Fixed incorrect command in install.md.
-
- Feb 27, 2020
-
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Fred Chien(錢逢祥) authored
`ioreg -P USB` doesn't work, it should be `ioreg -p USB` to get usb list in Mac OS X.
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
Jean-Michel Picod authored
-
gendx authored
Synchronize with upstream Tock to remove 04-rtt.patch
-
Guillaume Endignoux authored
-
- Feb 25, 2020
-
-
Jean-Michel Picod authored
Add Github workflows
-