Skip to content
Smart contracts test

Prover/Global Constraint Boundary Cancellation Explainer (#335) #1278

Sign in to view logs

Prover/Global Constraint Boundary Cancellation Explainer (#335)

Prover/Global Constraint Boundary Cancellation Explainer (#335) #1278

Triggered via push January 6, 2025 08:10
@AlexandreBellingAlexandreBelling
pushed 9dc4304
main
Status Success
Total duration 11m 1s
Artifacts –

run-smc-tests.yml

on: push
Run smart contracts tests
10m 1s
Run smart contracts tests
Solidity format check
1m 28s
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