Skip to content
CI

Added support for downcast in constant context. #39985

Sign in to view logs

Added support for downcast in constant context.

Added support for downcast in constant context. #39985

Triggered via pull request January 16, 2025 10:04
@oriziorizi
synchronize #7102
spr/main/19d2d22d
Status Success
Total duration 8m 55s
Artifacts –

ci.yml

on: pull_request
Matrix: parallel-tests
ensure-no_std
29s
ensure-no_std
rustfmt
44s
rustfmt
cairofmt
42s
cairofmt
cairotest
6m 33s
cairotest
udeps
54s
udeps
clippy
53s
clippy
typos
4s
typos
docs
44s
docs
sierra-updated-check
11s
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
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
ensure-no_std
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
cairofmt
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
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-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
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-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-project)
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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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)
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-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-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-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-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-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-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 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-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 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
cairotest
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
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636