Skip to content

add centered git version to CBMC banner

4df4a36
Select commit
Loading
Failed to load commit list.
Closed

add git shortened sha1sum to CBMC version for unique id #668

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

Workflow runs completed with no jobs