Prover/invalidity proofs #7295
Triggered via pull request
October 13, 2025 13:19
Soleimani193
Status
Failure
Total duration
30d 0h 0m 42s
Artifacts
5
main.yml
on: pull_request
Matrix: code-analysis / Analyze
get-has-changes-requiring-e2e-testing
/
get-has-changes-requiring-e2e-testing
3s
testing
/
...
/
Run smart contracts tests
4m 48s
testing
/
...
/
Solidity format check
47s
testing
/
always_succeed
testing
/
...
/
Coordinator tests
testing
/
...
/
Linea Sequencer Plugin Acceptance Tests
testing
/
...
/
Linea Sequencer Plugin Unit Tests
testing
/
...
/
Postman & SDK tests
testing
/
...
/
Staterecovery tests
testing
/
...
/
Transaction exclusion api tests
docker-build
/
...
/
Coordinator build
docker-build
/
...
/
build-and-upload-artifact
docker-build
/
...
/
Postman build
docker-build
/
...
/
Prover build
docker-build
/
...
/
Transaction exclusion api build
Matrix: testing / prover / Prover testing
publish-images-after-run-tests-success-on-main
/
...
/
Coordinator build
publish-images-after-run-tests-success-on-main
/
...
/
build-and-upload-artifact
publish-images-after-run-tests-success-on-main
/
...
/
Postman build
publish-images-after-run-tests-success-on-main
/
...
/
Prover build
publish-images-after-run-tests-success-on-main
/
...
/
Transaction exclusion api build
cleanup-deployments
5s
Annotations
4 errors and 5 warnings
|
testing / prover / Prover static check
issues found
|
|
testing / prover / Prover static check:
prover/cmd/dev-tools/testcase-gen/compression-aggregation/invalidity_test.go#L11
G404: Use of weak random number generator (math/rand or math/rand/v2 instead of crypto/rand) (gosec)
|
|
testing / smart-contracts / Run smart contracts tests
Process completed with exit code 1.
|
|
manual-docker-build-and-e2e-tests
The deployment was rejected or didn't satisfy other protection rules.
|
|
Filter commit changes
'base' input parameter is ignored when action is triggered by pull request event
|
|
Filter commit changes
Unexpected input(s) 'predicate-quantifier', valid inputs are ['token', 'working-directory', 'ref', 'base', 'filters', 'list-files', 'initial-fetch-depth']
|
|
Filter commit changes
'base' input parameter is ignored when action is triggered by pull request event
|
|
testing / smart-contracts / Solidity format check
Variable "state" is unused
|
|
testing / smart-contracts / Solidity format check
Variable "_token" is unused
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
codeql-results-actions
Expired
|
94.1 KB |
sha256:ef01fed491df406d4823002763235e0e4b91655fda4089f5c414784e4ac8a318
|
|
|
codeql-results-go
Expired
|
123 KB |
sha256:bc638acb6b09d945d5c539a855473fdcd44c45edfdb104656ca528c0bd2c1728
|
|
|
codeql-results-java-kotlin
Expired
|
282 KB |
sha256:810ec30432da65383c2c649af25ebd683bfa66245201ac9a374e84c3edacfdbd
|
|
|
codeql-results-javascript-typescript
Expired
|
215 KB |
sha256:fc57f2846563245fceadf221866e1588a46ad4659105e26d46baf1ed0db9d2b6
|
|
|
codeql-results-python
Expired
|
174 KB |
sha256:8d20e6e390727bbb2c8a32cfbc3787713dfcdefec56cff09451aca63d97a4add
|
|