Prover: beta v1.2 #3273
Triggered via pull request
January 30, 2025 09:41
Status
Failure
Total duration
1h 25m 48s
Artifacts
–
Annotations
2 errors and 3 warnings
testing / prover / Prover static check
golangci-lint exit with code 5
|
manual-docker-build-and-e2e-tests
Canceling since a higher priority waiting request for 'manual-docker-build-and-e2e-tests-main-refs/pull/605/merge' exists
|
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
|