Prover: beta v1.2 #3213
Triggered via pull request
January 29, 2025 05:47
Status
Cancelled
Total duration
5h 50m 55s
Artifacts
–
Annotations
1 error and 3 warnings
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
|