Merge pull request #253 from jfennick/desugar_canonical use canonical normal form(s) - PolusAI/mm-workflows - main #985
Triggered via repository dispatch
May 7, 2024 11:37
gitauth-app[bot]
gitauth-app[bot]
repository_dispatch_mm-workflows
4e6d72d
Status
Success
Total duration
13s
Artifacts
–
branch_dispatch_repository_dispatch.yml
on: repository_dispatch
branch_dispatch
5s
Annotations
1 warning
|
branch_dispatch
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: tibdex/github-app-token@b62528385c34dbc9f38e5f4225ac829252d1ea92, actions/checkout@v3, ./.github/my_actions/check_membership/, ./.github/my_actions/check_existence/, ./.github/my_actions/branch_dispatch/. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|