Kelvin M. Klann 339d395fbd ci: print env-related settings in each job ... To make debugging easier. Use a separate shell script instead of just a make target to ensure that it can safely run before ./configure and without having make installed.		2023-04-28 04:45:57 -03:00
..
check/profiles	Add Profile Checks	2021-10-29 11:00:06 +02:00
printenv.sh	ci: print env-related settings in each job	2023-04-28 04:45:57 -03:00