fix the update script to clear cache before it tries to do things
also update pgadmin4 version
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#94517
|
build_web_backend |
00:01:00
|
|
|||||
| Test | |||||||||
| passed |
#94518
|
test_php_styles |
00:00:30
|
|
|||||
| passed |
#94521
|
test_web_backend_database |
00:00:33
|
|
|||||
| passed |
#94520
|
test_web_backend_feature |
00:00:39
|
|
|||||
| passed |
#94519
|
test_web_backend_unit |
00:00:27
|
|
|||||
| Coverage | |||||||||
| passed |
#94522
|
generate_api_docs |
00:00:24
|
|
|||||
| passed |
#94523
|
generate_code_coverage |
00:00:56
|
|
|||||
| Deploy | |||||||||
| manual |
#94525
allowed to fail
manual
|
deploy_api_docs |
|
||||||
| manual |
#94524
allowed to fail
manual
|
deploy_backend_production |
|
||||||