Skip to content
Back to pull request #7154

added None & Some to prelude #40248

Sign in to view logs

added None & Some to prelude

added None & Some to prelude #40248

Triggered via pull request January 25, 2025 04:28
@dean-starkwaredean-starkware
synchronize #7154
dean/prelude_Option_variants
Status Success
Total duration 6m 41s
Artifacts –

ci.yml

on: pull_request
Matrix: parallel-tests
ensure-no_std
42s
ensure-no_std
rustfmt
22s
rustfmt
cairofmt
32s
cairofmt
cairotest
6m 29s
cairotest
udeps
53s
udeps
clippy
58s
clippy
typos
8s
typos
docs
53s
docs
sierra-updated-check
11s
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
typos
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
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-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
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
docs
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-syntax-codegen)
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
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-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-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-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-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-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 --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-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-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-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-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-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-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-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-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-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-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)
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-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-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-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-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-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-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-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-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