Skip to content

Add git revision and rustc version info to verbose version output#4466

Open
tautschnig wants to merge 3 commits into
model-checking:mainfrom
tautschnig:fix-2872-verbose-version
Open

Add git revision and rustc version info to verbose version output#4466
tautschnig wants to merge 3 commits into
model-checking:mainfrom
tautschnig:fix-2872-verbose-version