docs: add suggested citation #710

Sign in to view logs

Triggered via pull request June 29, 2023 15:47

RafaelAPB

synchronize #151

RafaelAPB:citation

Status Failure

Total duration 4m 35s

Artifacts –

ci.yml

on: pull_request

SolidityVerifierTests

OneShotSyncingSimulation

Annotations

1 error

Process completed with exit code 1.