Parametric type check #243
ci.yaml
on: pull_request
Determine changes
11s
cargo fmt
24s
shellcheck
35s
python package
3m 11s
prek
4m 36s
mkdocs
2m 53s
cargo clippy
2m 24s
cargo test (linux)
14m 15s
cargo test (wasm)
3m 17s
cargo build (msrv)
3m 6s
test scripts
2m 1s
cargo test (linux, release)
fuzz parser
ecosystem
15m 27s
Fuzz for new ty panics
14m 16s
cargo shear
20s
ty completion evaluation
3m 48s
formatter instabilities and black similarity
check playground
benchmarks instrumented (ruff)
Matrix: cargo-test-other
Matrix: benchmarks-instrumented-ty-run
Matrix: benchmarks-walltime-run
all required checks passed
5s
Annotations
10 errors and 3 warnings
|
cargo test (windows-latest)
Canceling since a higher priority waiting request for CI-47/merge-47 exists
|
|
cargo test (windows-latest)
The operation was canceled.
|
|
Fuzz for new ty panics
Canceling since a higher priority waiting request for CI-47/merge-47 exists
|
|
Fuzz for new ty panics
The operation was canceled.
|
|
cargo test (linux)
Canceling since a higher priority waiting request for CI-47/merge-47 exists
|
|
cargo test (linux)
The operation was canceled.
|
|
ecosystem
Canceling since a higher priority waiting request for CI-47/merge-47 exists
|
|
ecosystem
The operation was canceled.
|
|
all required checks passed
Process completed with exit code 1.
|
|
CI
Canceling since a higher priority waiting request for CI-47/merge-47 exists
|
|
shellcheck
Restore cache failed: Dependencies file is not found in /home/runner/work/basedpython/basedpython. Supported file pattern: go.mod
|
|
cargo build (msrv)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: SebRollen/toml-action@b1b3628f55fc3a28208d4203ada8b737e9687876. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
cargo test (wasm)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: jetli/wasm-pack-action@0d096b08b4e5a7de8c28de67e11e945404e9eefa. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|