Skip to content

Merge pull request #2113 from nnethercote/rm-stm #4137

Merge pull request #2113 from nnethercote/rm-stm

Merge pull request #2113 from nnethercote/rm-stm #4137

Triggered via push May 9, 2025 09:00
Status Success
Total duration 12m 5s
Artifacts

ci.yml

on: push
Test and deploy
3m 43s
Test and deploy
Test on Windows
3m 28s
Test on Windows
Test codegen backend benchmarks
1m 16s
Test codegen backend benchmarks
Test runtime benchmarks
4m 27s
Test runtime benchmarks
Test profiling
3m 53s
Test profiling
Database Check
1m 4s
Database Check
Compare page endpoint test
3m 47s
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.