Skip to content
Delete merged branch of the backport PRs

Support more PPL builtin functions by adding a name mapping #221

Sign in to view logs

Support more PPL builtin functions by adding a name mapping

Support more PPL builtin functions by adding a name mapping #221

Run time

Learn about OS pricing on GitHub Actions
Job Run time
delete-branch
0s
0s