[CI] Add metric upload to DataDog

Author: Kobzol

.github/workflows/ci.yml

@@ -218,6 +218,15 @@ 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 }}
+        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

@@ -89,10 +89,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
+    <<: *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