Skip to content

Merge docs/developers into docs/website/. #19097

Merge docs/developers into docs/website/.

Merge docs/developers into docs/website/. #19097

Triggered via pull request November 2, 2023 22:38
Status Success
Total duration 35m 10s
Artifacts

ci.yml

on: pull_request
build_e2e_test_artifacts  /  build_e2e_test_artifacts
8m 53s
build_e2e_test_artifacts / build_e2e_test_artifacts
Matrix: build_benchmark_tools / build_benchmark_tools
Matrix: cross_compile_and_test
build_and_test_android  /  cross_compile
3m 22s
build_and_test_android / cross_compile
compilation_benchmarks  /  compilation_benchmarks
compilation_benchmarks / compilation_benchmarks
Matrix: test_benchmark_suites
execution_benchmarks  /  generate_matrix
execution_benchmarks / generate_matrix
Matrix: build_and_test_android / test
Matrix: execution_benchmarks / run_benchmarks
Waiting for pending jobs
process_benchmark_results
0s
process_benchmark_results
summary
7s
summary
Fit to window
Zoom out
Zoom in