Lint GitHub Actions workflows

support write MergedEdge during CSE proof #911

Sign in to view logs

Triggered via pull request November 26, 2024 14:44

Stevengre

synchronize #4695

zjh/merged-edge-without-pop-node

Status Success

Total duration 14s

Artifacts –

run-actionlint.yml

on: pull_request