diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2023-03-18 19:16:20 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-19 00:16:20 +0100 |
| commit | a80d1b6e663bd439bd12b7c65cc1ac017bafb886 (patch) | |
| tree | ab6ce2e367929ad9a1975f482702762a135edcae | |
| parent | 3c9771deb2d615c47a2570023039c6a71f1c774b (diff) | |
chore: update "deno_third_party" submodule (#18274)
This upgrade "dlint" and "hyperfine" tools we use in our CI.
| m--------- | third_party | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/third_party b/third_party -Subproject 1f35d27cf6a9dc1136569fa0674cec026a5f2b0 +Subproject 17882602ab09dbda744f903a07e28ceab038dac |