Skip to content
CI suite

Merge pull request #131 from ralexstokes/single-proof #152

Sign in to view logs

Merge pull request #131 from ralexstokes/single-proof

Merge pull request #131 from ralexstokes/single-proof #152

Triggered via push March 30, 2024 15:57
@ralexstokesralexstokes
pushed f021f2a
main
Status Success
Total duration 1m 11s
Artifacts –

ci.yml

on: push
build
45s
build
lint
40s
lint
coverage
1m 2s
coverage
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
lint
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/.
build
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/.
coverage
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.