The GitHub Actions job "Pull Requests" on pekko.git/He-Pin-patch-1 has succeeded. Run started by GitHub user He-Pin (triggered by He-Pin).
Head commit for run: 4a0e67a5bdb1de42b8087faed8b709c357cc4283 / He-Pin(kerr) <[email protected]> Merge branch 'main' into He-Pin-patch-1 Report URL: https://github.com/apache/pekko/actions/runs/18068837341 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
