Skip to content
pull_request

fix: shift constraint indices by nb of public vars #1675

Sign in to view logs

fix: shift constraint indices by nb of public vars

fix: shift constraint indices by nb of public vars #1675

Triggered via pull request May 9, 2024 09:04
@ivokubivokub
opened #1128
fix/extrangecheck-pubshift
Status Success
Total duration 11m 3s
Billable time 11m
Artifacts –

pr.yml

on: pull_request
staticcheck
1m 32s
staticcheck
test
10m 41s
test
post workflow status to slack
0s
post workflow status to slack
post workflow status to slack
2s
post workflow status to slack
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
staticcheck
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4, golangci/golangci-lint-action@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/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
post workflow status to slack
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: slackapi/slack-github-action@v1.24.0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.