smt: minor improvements #2409
- docker-build-and-e2e requires an approval to start deploying changes
- docker-build-and-e2e requires an approval to start deploying changes
main.yml
on: pull_request
testing
/
...
/
Filter commit changes
Matrix: testing / prover / Prover testing
testing
/
...
/
pull-and-cache-images
testing
/
...
/
Prover notify slack
0s
testing
/
...
/
Prover notify slack
0s
cleanup-deployments
Deployment protection rules
Reviewers, timers, and other rules protecting deployments in this run
Event | Environments |
---|---|
AlexandreBelling
requested review
|
docker-build-and-e2e |
Annotations
2 errors and 3 warnings
testing / prover / Prover static check
Secret SLACK_WEBHOOK_CI_PROVER_FAIL is required, but not provided while calling.
|
testing / prover / Prover notify slack
Secret SLACK_WEBHOOK_CI_PROVER_FAIL is required, but not provided while calling.
|
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
|