Skip to content

Deploy to prod

Deploy to prod #2507

deploy

succeeded Mar 11, 2025 in 13m 38s
Set up job
1s
Initialize containers
1m 11s
Prevent dubious ownership
0s
Run actions/checkout@v3
5s
Fetch submodules
5s
Run cmake .
0s
Run make pull-modules
1s
Run make build-modules
0s
Run make json
1m 9s
Run make json-ru
1m 27s
Run make pdf
2m 40s
Run make pdf-ru
3m 0s
Run make singlehtml
1m 7s
Run make singlehtml-ru
1m 23s
Run bash upload_output.sh
1m 22s
Update production server deployment with version latest
1s
Send VK Teams message on failures
0s
Post Run actions/checkout@v3
0s
Stop containers
0s
Complete job
0s