actionlint

Merge pull request #154721 from chenrui333/trige-20231117 #910

Sign in to view logs

Triggered via push November 18, 2023 02:44

github-merge-queue[bot]

master

Status Success

Total duration 51s

Artifacts –

actionlint.yml

on: push

workflow_syntax