Skip to content

chore: fix variable names in List lemmas #9386

chore: fix variable names in List lemmas

chore: fix variable names in List lemmas #9386

Triggered via pull request February 5, 2025 05:09
@kim-emkim-em
synchronize #6953
indexLinter
Status Success
Total duration 39s
Artifacts

check-stage0.yml

on: pull_request
check-stage0-on-queue
31s
check-stage0-on-queue
Fit to window
Zoom out
Zoom in