tree 0d5537fa4f03b89ee3614c4b9a9cf5a0e7c9ad37
parent 1cdde11877fb84d337f33f48cd36c0984203621a
author Cosmin Truta <ctruta@gmail.com> 1707688148 +0200
committer Cosmin Truta <ctruta@gmail.com> 1707688148 +0200

ci: Remove the workaround for CI_AR from ci_verify_makefiles.sh