Skip to content
Lint GitHub Actions workflows

Raise when duplicate GEN_KW keys #7257

Sign in to view logs

Raise when duplicate GEN_KW keys

Raise when duplicate GEN_KW keys #7257

Triggered via pull request September 19, 2023 11:14
@andreas-elandreas-el
synchronize #6109
andreas-el:fix_duplicate_gen_kw_ids
Status Success
Total duration 21s
Artifacts –

actionlint.yml

on: pull_request
Check all workflow files
9s
Check all workflow files
Fit to window
Zoom out
Zoom in