Skip to content

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

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

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

Triggered via pull request October 10, 2025 12:52
Status Success
Total duration 11m 31s
Artifacts

ci.yml

on: pull_request
Test and deploy
3m 11s
Test and deploy
Test on Windows
2m 27s
Test on Windows
Test codegen backend benchmarks
1m 30s
Test codegen backend benchmarks
Test runtime benchmarks
4m 25s
Test runtime benchmarks
Test profiling
3m 37s
Test profiling
Database Check
1m 10s
Database Check
Compare page endpoint test
4m 51s
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.