Skip to content
Post PR summary comment

feat: add Dockerfiles for lean and mathlib #27789

Sign in to view logs

feat: add Dockerfiles for lean and mathlib

feat: add Dockerfiles for lean and mathlib #27789

Triggered via pull request October 31, 2024 16:49
@zeramorphiczeramorphic
synchronize #15936
update-dockerfiles
Status Success
Total duration 48s
Artifacts –

PR_summary.yml

on: pull_request
build
39s
build
Fit to window
Zoom out
Zoom in