Profiling correctness

Avoid using GITHUB_TOKEN for PR creation #6939

Sign in to view logs

Triggered via pull request July 31, 2025 22:26

xopham

opened #3369

christoph.hamsen/avoid-github-token-for-pr-creation

Status Success

Total duration 5m 28s

Artifacts –

prof_correctness.yml

on: pull_request

Matrix: prof-correctness