| commit | 00caca0c1c4da3b5c1e31e1b6e194050d2a0dcbb | [log] [tgz] |
|---|---|---|
| author | Chris Kay <chris.kay@arm.com> | Thu Aug 25 11:37:24 2022 +0100 |
| committer | Chris Kay <chris.kay@arm.com> | Thu Aug 25 14:23:50 2022 +0200 |
| tree | b1f20aa2d7a202278ff0c221bb103ae352a97830 | |
| parent | d80c1d9cee9f1507bd00f99075ff33a15be179f9 [diff] |
Pin Tokei dependency to v12.1.* This is a mostly-vexatious change to fix the upstream Dockerfile, which does not match the current tagged image because Jenkins ran the deployment jobs in the wrong order. Still, it serves a purpose, which is to pin the Tokei dependency to a known version, with leeway for automatic patch updates only (as opposed to new features or breaking changes). Change-Id: I97c3f27ff6a8d3b33bca9c25f8a70e2be0206665 Signed-off-by: Chris Kay <chris.kay@arm.com>