- Mar 02, 2020
-
-
Guillaume Endignoux authored
-
Guillaume Endignoux authored
-
gendx authored
-
Guillaume Endignoux authored
-
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
-