Skip to content
Build prod image

Add mathlib.fc to standard libraries #522

Sign in to view logs

Add mathlib.fc to standard libraries

Add mathlib.fc to standard libraries #522

Triggered via push January 16, 2024 14:28
@EmelyanenkoKEmelyanenkoK
pushed a3a298e
main
Status Success
Total duration 6m 15s
Artifacts –

build-prod.yml

on: push
docker
6m 4s
docker
Fit to window
Zoom out
Zoom in