Bootstrap lean (#4) · exercism/lean-test-runner@96f4d6f

Triggered via push January 7, 2026 21:37

tim-br

main

Status Success

Total duration 4m 28s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size	Digest
exercism~lean-test-runner~HZBD7O.dockerbuild Expired	34.1 KB	`sha256:1e4fd7f71b9ac76ef6d7d3fe7f865b7c296b3fc4f13e265e30cd24d0f397cb8f`