Skip to content
CI

Added failure for bad types in building an executable. #40220

Sign in to view logs

Added failure for bad types in building an executable.

Added failure for bad types in building an executable. #40220

Triggered via pull request January 23, 2025 11:46
@oriziorizi
synchronize #7129
spr/main/db822d43
Status Success
Total duration 6m 50s
Artifacts –

ci.yml

on: pull_request
Matrix: parallel-tests
ensure-no_std
29s
ensure-no_std
rustfmt
25s
rustfmt
cairofmt
59s
cairofmt
cairotest
6m 42s
cairotest
udeps
49s
udeps
clippy
53s
clippy
typos
5s
typos
docs
44s
docs
sierra-updated-check
10s
sierra-updated-check
test
0s
test
Fit to window
Zoom out
Zoom in

Annotations

46 warnings
typos
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
sierra-updated-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
rustfmt
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-proc-macros)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ensure-no_std
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
udeps
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-syntax-codegen)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cairofmt
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-project)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-filesystem)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-test-utils)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-casm --no-default-features --features=serde,p...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-primitive-token)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-formatter)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-plugins)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-utils --features=serde,parity-scale-codec,sch...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-debug)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-defs)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-parser)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-eq-solver)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-sierra-type-size)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-diagnostics)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-sierra-ap-change)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-syntax)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-casm --features=serde,parity-scale-codec,sche...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-doc)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-utils --no-default-features --features=serde,...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-lowering)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-sierra-gas)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-semantic)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-sierra)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-sierra-to-casm)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-test-plugin)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-runnable-utils)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-sierra-generator)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-starknet-classes)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-compiler)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-starknet)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-test-runner)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p tests)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-runner)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
parallel-tests (test --profile=ci-dev -p cairo-lang-executable)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cairotest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636