Dump Java system properties in Github workflow

xtclang / xvm

Ecstasy and XVM

Other

201 stars 17 forks source link

Dump Java system properties in Github workflow #218

Closed lagergren closed 4 months ago

lagergren commented 4 months ago

This way, we may be able to better reproduce any issues that may crop up in the manualTests, due to assumptions about path assignments, for example with System.getPropert("java.io.tmpdir")

lagergren commented 4 months ago

I'm not sure if we need all that info all the time, but I guess no harm in that...

Well, you have to go look for it and click "expand", and it's only on the GitHub checkin runner, so better safe than sorry. It doesn't affect anything else.