Skip to content
Claude Code

Always use Boogie function form for pure callees #13

Sign in to view logs

Always use Boogie function form for pure callees

Always use Boogie function form for pure callees #13

Run time

Learn about OS pricing on GitHub Actions
Job Run time
claude
0s
0s