Skip to content

chore: fix variable names in List lemmas #15018

chore: fix variable names in List lemmas

chore: fix variable names in List lemmas #15018

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

pr-title.yml

on: pull_request
check-pr-title
3s
check-pr-title
Fit to window
Zoom out
Zoom in