Generate Workflows

Fix/GitHub job identifier #2579

Sign in to view logs

Triggered via pull request October 11, 2023 15:08

fjnoyp

synchronize #3937

fix/github-job-identifier

Status Success

Total duration 1m 19s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

generate_workflows.yaml

on: pull_request

Generate Workflows