Skip to content
Smart contracts test

Prover: implements the top-level of the limitless prover #1255

Sign in to view logs

Prover: implements the top-level of the limitless prover

Prover: implements the top-level of the limitless prover #1255

Triggered via pull request December 20, 2024 13:03
@AlexandreBellingAlexandreBelling
synchronize #352
prover/limitless-top-level
Status Success
Total duration 7m 27s
Artifacts –

run-smc-tests.yml

on: pull_request
Run smart contracts tests
7m 18s
Run smart contracts tests
Solidity format check
2m 10s
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