Guillaume Chatelet 63cc2980df Update badges

2023-08-30 13:29:50 +00:00

..

generate_badges.d

Update badges

2023-08-30 13:29:50 +00:00

make_release.sh

Improve the release process (#231)

2022-03-09 11:05:08 +01:00

run_integration.sh

Support risc-v (#287)

2023-01-12 17:19:05 +01:00

test_integration.sh

tools: Rework cross compilation scripts

2021-10-26 11:42:29 +00:00