Skip to content
Check PR body for changelog convention

feat: IO.getTID #264

Sign in to view logs

feat: IO.getTID

feat: IO.getTID #264

Triggered via pull request November 12, 2024 14:39
@leanprover-community-botleanprover-community-bot
labeled #6049
Kha:push-ryrsozvwnkyw
Status Success
Total duration 13s
Artifacts –

pr-body.yml

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