Skip to content

mir: distinguish between procedure and pointer-to-procedure #2032

mir: distinguish between procedure and pointer-to-procedure

mir: distinguish between procedure and pointer-to-procedure #2032

Triggered via issue October 12, 2025 23:30
@saemsaem
commented on #1641 69bba0b
Status Success
Total duration 10s
Artifacts

slash-commands.yml

on: issue_comment
Dispatch on Pull Request comments
5s
Dispatch on Pull Request comments
Fit to window
Zoom out
Zoom in