Skip to content

feat: Add Linea network support #165

feat: Add Linea network support

feat: Add Linea network support #165

Annotations

1 warning

verify (verifyCrossChainForwarder-encode-decode-correct.conf --rule encode_decode_well_formed_TX)

succeeded Dec 10, 2024 in 4m 22s
Set up job
1s
Run actions/checkout@v2
17s
Install python
0s
Install java
8s
Install certora cli
3s
Install solc
1s
Verify rule verifyCrossChainForwarder-encode-decode-correct.conf --rule encode_decode_well_formed_TX
3m 48s
Post Install java
0s
Post Install python
0s
Post Run actions/checkout@v2
0s
Complete job
0s