Ivan Grokhotkov 28ac778099
ci: check_public_headers: run the build in a temporary directory
this allows running multiple builds for different targets
2022-06-29 22:47:02 +02:00
..
2022-05-21 00:11:59 +08:00
2022-05-21 00:11:59 +08:00
2022-02-10 07:20:52 +01:00