Export workflow telemetry #14749
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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' || github.repository == 'leanprover-community/mathlib4-nightly-testing' }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Export workflow telemetry | |
| uses: corentinmusard/otel-cicd-action@0f9f16fceb53fd8c996042e28c642ec61f844876 # v4.0.0 | |
| with: | |
| otlpEndpoint: ${{ vars.OTLP_ENDPOINT }} | |
| otlpHeaders: ${{ secrets.OTLP_HEADERS }} | |
| otelServiceName: "mathlib-ci" | |
| githubToken: ${{ secrets.GITHUB_TOKEN }} | |
| runId: ${{ github.event.workflow_run.id }} |