Skip to content

Merge pull request #19 from jfennick/desugar_canonical #9

Merge pull request #19 from jfennick/desugar_canonical

Merge pull request #19 from jfennick/desugar_canonical #9

Triggered via push May 7, 2024 11:37
Status Success
Total duration 16s
Artifacts

ci_send_push.yml

on: push
ci_send
6s
ci_send
Fit to window
Zoom out
Zoom in

Annotations

1 warning
ci_send
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/repository_dispatch/. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.