Skip to content
Container Image

refactor(lean): finalize Lean declaration sessions #627

Sign in to view logs

refactor(lean): finalize Lean declaration sessions

refactor(lean): finalize Lean declaration sessions #627

Triggered via pull request August 7, 2026 22:51
@morlutomorluto
opened #808
agent/finalize-lean-declaration-sessions
Status Success
Total duration 37s
Artifacts 1

container-image.yml

on: pull_request
Build container image
32s
Build container image
Publish container image
0s
Publish container image
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
morluto~jacobian~VAYWIY.dockerbuild
31.5 KB
sha256:782bacc122c1ba005b428599b45a5c29f37c145a8b112ecccb43838a9429c25e