Skip to content

Get host tuple from rustc used for benchmarking/profiling, if possible #4688

Get host tuple from rustc used for benchmarking/profiling, if possible

Get host tuple from rustc used for benchmarking/profiling, if possible #4688

Triggered via pull request October 10, 2025 12:42
Status Success
Total duration 14m 17s
Artifacts

ci.yml

on: pull_request
Test and deploy
3m 17s
Test and deploy
Test on Windows
2m 40s
Test on Windows
Test codegen backend benchmarks
1m 29s
Test codegen backend benchmarks
Test runtime benchmarks
5m 27s
Test runtime benchmarks
Test profiling
3m 49s
Test profiling
Database Check
1m 15s
Database Check
Compare page endpoint test
4m 30s
Compare page endpoint test
Matrix: Test benchmarks
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.