windows shell init files use executable name #1619

Job	Run time
Unix (macos-latest, debug) / Build binaries	1m 3s
Unix (macos-latest, release) / Build binaries	57s
Unix (ubuntu-latest, debug) / Build binaries	52s
Unix (ubuntu-latest, release) / Build binaries	44s
Windows (windows-2019, release) / Build binaries	4m 8s
Unix (ubuntu-latest, release) / mamba-content-trust tests	19s
Unix (ubuntu-latest, release) / libmambapy tests	1m 24s
Unix (ubuntu-latest, release) / libmamba tests	45s
Unix (ubuntu-latest, release) / mamba integration tests	7m 30s
Unix (ubuntu-latest, debug) / libmambapy tests	1m 28s
Unix (ubuntu-latest, debug) / mamba-content-trust tests	24s
Unix (ubuntu-latest, debug) / libmamba tests	1m 1s
Unix (ubuntu-latest, debug) / mamba integration tests	24m 26s
Unix (macos-latest, release) / libmamba tests	1m 23s
Unix (macos-latest, release) / mamba integration tests	19m 13s
Unix (macos-latest, release) / libmambapy tests	1m 7s
Unix (macos-latest, release) / mamba-content-trust tests	0s
Unix (macos-latest, debug) / libmamba tests	1m 2s
Unix (macos-latest, debug) / mamba integration tests	18m 10s
Unix (macos-latest, debug) / libmambapy tests	2m 8s
Unix (macos-latest, debug) / mamba-content-trust tests	0s
Windows (windows-2019, release) / mamba integration tests	1m 54s
Windows (windows-2019, release) / libmambapy tests	5m 26s
Windows (windows-2019, release) / libmamba tests	3m 36s
	1h 39m 0s

Provide feedback