Skip to content
Lean Action CI

FOL Abstract Relation Name Type #127

Sign in to view logs

FOL Abstract Relation Name Type

FOL Abstract Relation Name Type #127

Triggered via push January 10, 2026 02:36
@Rickerd1234Rickerd1234
pushed 49c7c4b
master
Status Success
Total duration 3m 13s
Artifacts –

lean_action_ci.yml

on: push
build
3m 8s
build
Fit to window
Zoom out
Zoom in