Skip to content

add centered git version to CBMC banner

4b124c8
Select commit
Loading
Failed to load commit list.
Merged

Include git revision in version output #2373

add centered git version to CBMC banner
4b124c8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs