reviewbot #196
Triggered via pull request review
February 4, 2025 14:05
reviewbot-theorem
reviewbot-theorem
submitted
77d1a4a
Status
Success
Total duration
13s
Artifacts
–
automation-reviewbot.yml
on: pull_request_review
reviewbot
3s