Skip to content

[Cider] rename interp to cider #12110

[Cider] rename interp to cider

[Cider] rename interp to cider #12110

Triggered via pull request December 13, 2024 18:45
Status Failure
Total duration 2m 39s
Artifacts

rust.yml

on: pull_request
Get Docker Hash
26s
Get Docker Hash
Validate playground config
31s
Validate playground config
Build and push docker image
0s
Build and push docker image
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 5 warnings
Polybench Integration
Process completed with exit code 128.
Test Compiler
Process completed with exit code 128.
Test Interpreter
Process completed with exit code 128.
Get Docker Hash
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Validate playground config
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Polybench Integration
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test Compiler
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test Interpreter
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636