Skip to content

Merge branch 'main' of github.com:egraphs-good/eggcc into yihozhang-i… #3916

Merge branch 'main' of github.com:egraphs-good/eggcc into yihozhang-i…

Merge branch 'main' of github.com:egraphs-good/eggcc into yihozhang-i… #3916

Triggered via push May 30, 2024 20:16
Status Failure
Total duration 18m 10s
Artifacts

Test.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
test
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
test
The operation was canceled.
nits
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.