Comment GitHub Actions link on a merged PR

Merge pull request #3540 from yuvipanda/noagu-binder #1

Sign in to view logs

Triggered via push December 19, 2023 15:23

j08lue

master

Status Success

Total duration 22s

Artifacts –

comment-test-link-merged-pr.yaml

on: push

comment-actions-links