Lean Action CI

HumanEval8 #253

Sign in to view logs

Re-run triggered January 26, 2026 07:41

datokrat

#206

shaazib-tanvir:master

Status Success

Total duration 30s

Artifacts –

lean_action_ci.yml

on: pull_request