Skip to content
Lean Action CI

v5.8.0: 348 theorems — add Gap Bridge Theorems (cross-domain science) #15

Sign in to view logs

v5.8.0: 348 theorems — add Gap Bridge Theorems (cross-domain science)

v5.8.0: 348 theorems — add Gap Bridge Theorems (cross-domain science) #15

Triggered via push February 20, 2026 18:59
@advancedresearcharrayadvancedresearcharray
pushed 660aea8
master
Status Success
Total duration 1m 32s
Artifacts –

lean_action_ci.yml

on: push
build
1m 28s
build
Fit to window
Zoom out
Zoom in