commit | 63c715b7d7201e2a5e8c1c2769e887446bb5ed35 | [log] [tgz] |
---|---|---|
author | Cosmin Truta <ctruta@gmail.com> | Sun Feb 11 23:49:08 2024 +0200 |
committer | Cosmin Truta <ctruta@gmail.com> | Sun Feb 11 23:49:08 2024 +0200 |
tree | 0d5537fa4f03b89ee3614c4b9a9cf5a0e7c9ad37 | |
parent | 1cdde11877fb84d337f33f48cd36c0984203621a [diff] |
ci: Remove the workaround for CI_AR from ci_verify_makefiles.sh