Skip to content
Check PR body for changelog convention

refactor: getUnfoldableConst*? #8

Sign in to view logs

refactor: getUnfoldableConst*?

refactor: getUnfoldableConst*? #8

Triggered via pull request November 7, 2024 17:43
@leanprover-community-botleanprover-community-bot
labeled #5997
Kha:push-xqpvqmqwlqxp
Status Success
Total duration 6s
Billable time 1m
Artifacts –

pr-body.yml

on: pull_request
check-pr-body
2s
check-pr-body
Fit to window
Zoom out
Zoom in