Check awaiting-mathlib label

feat: `clear_value` tactic #4952

Sign in to view logs

Triggered via pull request May 26, 2025 22:41

kmill

synchronize #8449

kmill:kmill_clear_value

Status Success

Total duration 14s

Artifacts –

awaiting-mathlib.yml

on: pull_request

check-awaiting-mathlib