docs(windows): align Z3 pin with z3-sys 0.13 (#3561) #1286
github-merge-queue[bot]release-dev.yml
on: push
Compute Versions
2m 6s
Matrix: build-binaries / cli
Matrix: build-binaries / conformance
Matrix: build-binaries / gateway
Matrix: build-binaries / prover
Matrix: build-binaries / runtimes
Matrix: build-binaries / vm-init
build-images
/
gateway
50s
build-images
/
sandbox
34s
build-images
/
supervisor
39s
Matrix: build-vm-driver / build
Matrix: Build RPM Packages / build-rpm-linux
Matrix: Build Snap / build-snap
Matrix: docker-e2e / e2e
Matrix: Build Debian Packages / build-deb-linux
Matrix: package-binaries / package
Matrix: package-binaries / smoke-prover
Matrix: conformance-integration / integration
Matrix: feature-specific-integration / integration
Sync and Publish Fern Docs
/
sync
54s
Annotations
23 warnings and 19 notices
|
build-binaries / openshell-conformance (x86_64-unknown-linux-musl)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-prover (x86_64-unknown-linux-musl)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-conformance (aarch64-unknown-linux-musl)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-prover (aarch64-unknown-linux-musl)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-vm-init (x86_64-unknown-linux-musl)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-sandbox (x86_64-unknown-linux-musl)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-vm-init (aarch64-unknown-linux-musl)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-sandbox (aarch64-unknown-linux-musl)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell (x86_64-unknown-linux-musl)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell (aarch64-unknown-linux-musl)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-supervisor (x86_64-unknown-linux-gnu)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-supervisor (aarch64-unknown-linux-gnu)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-gateway (x86_64-unknown-linux-gnu)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-binaries / openshell-gateway (aarch64-unknown-linux-gnu)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-images / sandbox
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/setup-buildx-action@8d2750c68a42422c14e847fe6c8ac0403b4cbd6f. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build-images / supervisor
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/setup-buildx-action@8d2750c68a42422c14e847fe6c8ac0403b4cbd6f. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build-images / gateway
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/setup-buildx-action@8d2750c68a42422c14e847fe6c8ac0403b4cbd6f. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build-vm-driver / openshell-driver-vm (x86_64-unknown-linux-gnu)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
build-vm-driver / openshell-driver-vm (aarch64-unknown-linux-gnu)
Error running rustup toolchain list, falling back to default toolchain only: Error: The process '/nix/var/nix/profiles/default/bin/nix' failed with exit code 127
|
|
Build RPM Packages / Build RPM Package (Linux x86_64) / Build RPM Package (Linux x86_64)
Error running rustup toolchain list, falling back to default toolchain only: Error: Unable to locate executable file: rustup. Please verify either the file path exists or the file can be found within a directory specified by the PATH environment variable. Also check the file mode to verify the file is executable.
|
|
Build RPM Packages / Build RPM Package (Linux aarch64) / Build RPM Package (Linux aarch64)
Error running rustup toolchain list, falling back to default toolchain only: Error: Unable to locate executable file: rustup. Please verify either the file path exists or the file can be found within a directory specified by the PATH environment variable. Also check the file mode to verify the file is executable.
|
|
[docs]:
Found 0 errors and 2 warnings in 2.943 seconds. Run fern check --warnings to print out the warnings not shown.
|
|
Sync and Publish Fern Docs / sync
Found 0 errors and 3 warnings in 0.000 seconds. Run fern check --warnings to print out the warnings not shown.
|
|
package-binaries / Package openshell-sandbox-x86_64-unknown-linux-musl
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-supervisor-aarch64-unknown-linux-gnu
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-sandbox-aarch64-unknown-linux-musl
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-aarch64-unknown-linux-musl
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-prover-aarch64-unknown-linux-musl
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-prover-aarch64-apple-darwin
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-gateway-aarch64-apple-darwin
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-driver-vm-aarch64-unknown-linux-gnu
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-driver-vm-x86_64-unknown-linux-gnu
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-supervisor-x86_64-unknown-linux-gnu
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-x86_64-unknown-linux-musl
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-prover-x86_64-unknown-linux-musl
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-gateway-x86_64-unknown-linux-gnu
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-driver-vm-aarch64-apple-darwin
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-aarch64-apple-darwin
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package openshell-gateway-aarch64-unknown-linux-gnu
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
package-binaries / Package prover checksums
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Release Helm Chart (OCI, dev)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Sync and Publish Fern Docs / sync
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|