mathlib4/.github/workflows/export_telemetry.yaml at d60624ccc8696fbee07f8a818391d10ff1e5c176 · leanprover-community/mathlib4 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
name: Export workflow telemetry

on:
  workflow_run:
    workflows:
      # The *names* of the workflows to collect telemetry for
      - "continuous integration"
      - "continuous integration (mathlib forks)"
      - "continuous integration (staging)"
    types: [completed]

permissions:
  actions: read
  contents: read

jobs:
  otel-export:
    if: github.repository == 'leanprover-community/mathlib4'
    runs-on: ubuntu-latest
    steps:
      - name: Export workflow telemetry
        uses: corentinmusard/otel-cicd-action@7e307f7baefcf4929d94d2844bc72d87566a75c3 # v3.0.0
        with:
          otlpEndpoint: ${{ secrets.OTLP_ENDPOINT }}
          otlpHeaders: ${{ secrets.OTLP_HEADERS }}
          githubToken: ${{ secrets.GITHUB_TOKEN }}
          runId: ${{ github.event.workflow_run.id }}

      - name: Export workflow telemetry (alt endpoint)
        uses: corentinmusard/otel-cicd-action@7e307f7baefcf4929d94d2844bc72d87566a75c3 # v3.0.0
        with:
          otlpEndpoint: ${{ secrets.OTLP_ENDPOINT_ALT }}
          otlpHeaders: ${{ secrets.OTLP_HEADERS_ALT }}
          otelServiceName: "mathlib-ci"
          githubToken: ${{ secrets.GITHUB_TOKEN }}
          runId: ${{ github.event.workflow_run.id }}