Julien Cretin d7b24424e5 Disable patches check on github

2022-06-21 19:58:43 +02:00

..

patches

Add check command to patches script

2022-06-21 19:42:37 +02:00

reproduce_board.sh

Disable patches check on github

2022-06-21 19:58:43 +02:00

reproduce_hashes.sh

fix reproduce scripts

2021-08-09 13:55:55 +02:00

update_hashes.sh

Add tool for applying/saving Tock patches

2021-08-09 13:55:55 +02:00