CI

chore: add deprecations for duplicated theorems #45516

Sign in to view logs

Triggered via pull request October 28, 2025 06:37

kim-em

synchronize #10967

deprecated_duplicated

Status Success

Total duration 37m 56s

Artifacts 2

ci.yml

on: pull_request

Matrix: build / build

Matrix: build-secondary / build

Build matrix complete

release-nightly

Annotations

3 warnings

build-secondary / macOS aarch64

libuv 1.51.0 is already installed and up-to-date. To reinstall 1.51.0, run: brew reinstall libuv

build-secondary / macOS aarch64

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp

build-secondary / macOS aarch64

zstd 1.5.7 is already installed and up-to-date. To reinstall 1.5.7, run: brew reinstall zstd

Artifacts

Produced during runtime

Name	Size	Digest
build-Linux release	607 MB	`sha256:e3dca0ebf5719f6a0c9ebb1cf3aa01232e16ded1990f3763f0c633355c845a1a`
build-macOS aarch64	587 MB	`sha256:b431e76208942759661f22f5ecc9f3349be3605b761b2318223c2c95b486a77b`