Skip to content
Smart contracts test

Prover/Global Constraint Boundary Cancellation Explainer #1275

Sign in to view logs

Prover/Global Constraint Boundary Cancellation Explainer

Prover/Global Constraint Boundary Cancellation Explainer #1275

Triggered via pull request January 6, 2025 06:54
@AlexandreBellingAlexandreBelling
synchronize #335
arijit/global-constraint-fix
Status Success
Total duration 9m 25s
Artifacts –

run-smc-tests.yml

on: pull_request
Run smart contracts tests
8m 43s
Run smart contracts tests
Solidity format check
1m 21s
Solidity format check
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Solidity format check
Variable "state" is unused
Solidity format check
Variable "state" is unused