Smart contracts test

Feat/multi dict prover #1475

Sign in to view logs

Triggered via pull request January 16, 2025 21:48

Tabaie

synchronize #553

feat/multi-dict-prover

Status Success

Total duration 6m 42s

Artifacts –

run-smc-tests.yml

on: pull_request

Run smart contracts tests

Solidity format check

Annotations

2 warnings

Solidity format check

Variable "state" is unused

Solidity format check

Variable "state" is unused