Pin illumos-ddi at its main branch #16
Loading…
Reference in a new issue
No description provided.
Delete branch "repin-ddi-main"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
illumos-ddi
mainnow holds its pull requests 4-9 (r3-kms-gluetog7-module-busy, merge heade82e75d406). This moves the workspace pin ofddiandddi-sysfrom theg7-module-busybranch head (6e65077fb1) to that merge commit and regeneratesCargo.lockwithcargo update -p ddi -p ddi-sys(git sources, no[patch], no path sources).Every illumos-ddi revision the merged branches pinned (
5c792b3229,faec57598b,be78455670,10bdfba866,6e65077fb1) is an ancestor ofe82e75d406.Checks on this head (macOS host, toolchain 1.97.1):
cargo check --locked --workspace --target x86_64-unknown-illumos,clippy -D warnings,fmt --check,cargo testdrm-core/drm-uapi/drm-facade (160 + 1 + 2) and virtio_gpu--no-default-features(6),xtask uapi-check(729 lines, 0 differences),xtask facade-checkagainsttools/facade/facade_layout.illumos.out(297 lines, 0 differences),tools/facade/check-generated.sh,carried/host-test.sh(24 passed, 0 failed).