continuous integration (staging)

feat(Logic/Embedding/Basic): `setValue_eq_of_ne` (#18366) #11476

Sign in to view logs

Triggered via push October 29, 2024 13:01

mathlib-bors[bot]

staging

Status Success

Total duration 36m 18s

Artifacts –

bors.yml

on: push

Cancel Previous Runs (CI)