Render PR

enable user code annotations #38

Triggered via pull request May 29, 2025 14:24

bakkot

opened #53

bakkot:patch-1

Status Success

Total duration 52s

Artifacts 1

render-pr.yml

on: pull_request

Produced during runtime

Name	Size	Digest
result Expired	260 KB	`sha256:16495ad4ee65274d1a4441b0a4e5ef9b3eefa20ea78c5fd519cbffa8d1ff822a`