Lint GitHub Actions workflows

support write MergedEdge during CSE proof #912

Sign in to view logs

Triggered via pull request November 26, 2024 14:48

Stevengre

synchronize #4695

zjh/merged-edge-without-pop-node

Status Success

Total duration 20s

Artifacts –

run-actionlint.yml

on: pull_request