Lint GitHub Actions workflows

support write MergedEdge during CSE proof #908

Sign in to view logs

Triggered via pull request November 26, 2024 04:14

Stevengre

opened #4695

zjh/merged-edge-without-pop-node

Status Success

Total duration 19s

Artifacts –

run-actionlint.yml

on: pull_request