Skip to content
CI

chore(CI): update certora-cli to 7.10.2 #217

Sign in to view logs

chore(CI): update certora-cli to 7.10.2

chore(CI): update certora-cli to 7.10.2 #217

Triggered via pull request August 27, 2024 12:08
@0x-r4bbit0x-r4bbit
synchronize #101
chore/update-certora-cli
Status Success
Total duration 29m 47s
Artifacts –

ci.yml

on: pull_request
lint
2m 33s
lint
build
17s
build
test
20s
test
coverage
36s
coverage
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

16 warnings
build
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
lint
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, pnpm/action-setup@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
lint: test/StakeManager.t.sol#L475
Code contains empty blocks
lint: test/StakeManager.t.sol#L627
Code contains empty blocks
lint: test/StakeManager.t.sol#L628
Code contains empty blocks
lint: test/StakeManager.t.sol#L630
Code contains empty blocks
test
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
coverage
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, codecov/codecov-action@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verify:stake_manager_process)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verify:stake_manager_process)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v2, actions/setup-java@v1, pnpm/action-setup@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verify:stake_vault)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verify:stake_vault)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v2, actions/setup-java@v1, pnpm/action-setup@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verify:stake_manager_start_migration)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verify:stake_manager_start_migration)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v2, actions/setup-java@v1, pnpm/action-setup@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verify:stake_manager)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verify:stake_manager)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v2, actions/setup-java@v1, pnpm/action-setup@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/