Fischer Moseley c70836d44a update github actions to make badges nicer

2023-02-04 13:18:16 -05:00

..

cross_platform_tests.yml

fix github actions config

2023-02-04 13:00:19 -05:00

formal_verification.yml

update github actions to make badges nicer

2023-02-04 13:18:16 -05:00

functional_simulation.yml

fix github actions config

2023-02-04 13:00:19 -05:00