Skip to content
build lean

Update goedel-lm link. #322

Sign in to view logs

Update goedel-lm link.

Update goedel-lm link. #322

Triggered via pull request February 3, 2025 17:17
@GeorgeTsoukalasGeorgeTsoukalas
opened #261
george
Status Success
Total duration 24m 2s
Artifacts –

lean.yml

on: pull_request
Build
23m 52s
Build
Fit to window
Zoom out
Zoom in