Skip to content
CI

added closure params to semantic defs in lowering #39988

Sign in to view logs

added closure params to semantic defs in lowering

added closure params to semantic defs in lowering #39988

Triggered via pull request January 16, 2025 10:06
@TomerStarkwareTomerStarkware
synchronize #7085
tomer/fix_closure_semantic_defs_in_lowering
Status Success
Total duration 6m 43s
Artifacts –

ci.yml

on: pull_request
Matrix: parallel-tests
ensure-no_std
29s
ensure-no_std
rustfmt
16s
rustfmt
cairofmt
40s
cairofmt
cairotest
6m 31s
cairotest
udeps
52s
udeps
clippy
52s
clippy
typos
5s
typos
docs
50s
docs
sierra-updated-check
10s
sierra-updated-check
test
0s
test
Fit to window
Zoom out
Zoom in

Annotations

46 warnings
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
typos
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
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-syntax-codegen)
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-test-utils)
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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-executable)
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-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
cairotest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636