Skip to content
Add PRs to review Vac task board

chore(certora): upgrade certora to 7.0.7 #31

Sign in to view logs

chore(certora): upgrade certora to 7.0.7

chore(certora): upgrade certora to 7.0.7 #31

Triggered via pull request March 18, 2024 11:13
@0x-r4bbit0x-r4bbit
opened #61
chore/upgrade-certora-cli
Status Success
Total duration 13s
Artifacts –

add-prs-to-review-to-vac-board.yml

on: pull_request
Add PR to task board
3s
Add PR to task board
Fit to window
Zoom out
Zoom in

Annotations

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