[CI] Add metric upload to DataDog

Author: Kobzol

.github/workflows/ci.yml

@@ -212,6 +212,16 @@ jobs:
         # erroring about invalid credentials instead.
         if: github.event_name == 'push' || env.DEPLOY == '1' || env.DEPLOY_ALT == '1'
 
+      - name: Upload Datadog metrics
+        if: needs.calculate_matrix.outputs.run_type == 'try'
+        env:
+          DATADOG_SITE: datadoghq.com
+          DATADOG_API_KEY: ${{ secrets.DATADOG_API_KEY }}
+          DD_GITHUB_JOB_NAME: ${{ matrix.name }}
+        run: |
+          npm install -g @datadog/datadog-ci
+          datadog-ci measure --level job --measures "build-duration-test:100"
+
   # This job isused to tell bors the final status of the build, as there is no practical way to detect
   # when a workflow is successful listening to webhooks only in our current bors implementation (homu).
   outcome:

src/ci/github-actions/jobs.yml

@@ -96,10 +96,12 @@ pr:
 # These jobs automatically inherit envs.try, to avoid repeating
 # it in each job definition.
 try:
-  - image: dist-x86_64-linux
-    env:
-      CODEGEN_BACKENDS: llvm,cranelift
-    <<: *job-linux-16c
+  - image: mingw-check-tidy
+    <<: *job-linux-4c
+#  - image: dist-x86_64-linux
+#    env:
+#      CODEGEN_BACKENDS: llvm,cranelift
+#    <<: *job-linux-16c
 
 # Main CI jobs that have to be green to merge a commit into master
 # These jobs automatically inherit envs.auto, to avoid repeating