Skip to content

Add target for GitHub commands #4911

Add target for GitHub commands

Add target for GitHub commands #4911

Triggered via pull request December 12, 2025 11:22
Status Success
Total duration 11m 12s
Artifacts

ci.yml

on: pull_request
Matrix: Test benchmarks
Test on Linux
1m 21s
Test on Linux
Test on Windows
2m 7s
Test on Windows
Test codegen backend benchmarks
1m 25s
Test codegen backend benchmarks
Test runtime benchmarks
4m 29s
Test runtime benchmarks
Test profiling
3m 35s
Test profiling
Database Check
1m 15s
Database Check
Compare page endpoint test
4m 29s
Compare page endpoint test
docker
2m 14s
docker
conclusion
4s
conclusion
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Compare page endpoint test
The `python-version` input is not set. The version of Python currently in `PATH` will be used.