Skip to content

Merge branch 'develop' into develop #61

Merge branch 'develop' into develop

Merge branch 'develop' into develop #61

Triggered via push February 5, 2026 22:30
Status Cancelled
Total duration 2h 58m 56s
Artifacts

ci.yml

on: push
C++ build
C++ build
CUDA tests
CUDA tests
Check build with minimal dependencies
Check build with minimal dependencies
Check generated source files are up to date
Check generated source files are up to date
Java
Java
Python (lint)
Python (lint)
Python (test)
Python (test)
Python (wheel build)
Python (wheel build)
Rust (docs)
Rust (docs)
Rust (lint)
Rust (lint)
Rust (lint, no default)
Rust (lint, no default)
Rust (semver checks)
Rust (semver checks)
Rust tests (miri)
Rust tests (miri)
Rust tests (sanitizer)
Rust tests (sanitizer)
lint-toml
lint-toml
validate-workflow-yaml
validate-workflow-yaml
wasm-integration
wasm-integration
Matrix: bench-codspeed
Waiting for pending jobs
Matrix: build-rust
Waiting for pending jobs
Matrix: License Check and Audit Check
Waiting for pending jobs
Matrix: rust-coverage
Waiting for pending jobs
Matrix: rust-test-other
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
CI
Canceling since a higher priority waiting request for CI-refs/heads/develop exists