Skip to content

Auto merge of #12901 - J-ZhengLi:test_case, r=Manishearth #3481

Auto merge of #12901 - J-ZhengLi:test_case, r=Manishearth

Auto merge of #12901 - J-ZhengLi:test_case, r=Manishearth #3481

Triggered via push June 7, 2024 16:48
Status Success
Total duration 1m 54s
Artifacts

deploy.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
deploy
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: Swatinem/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.