Skip to content

Actions: VineLang/algebrainet

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improve EqN handling Lean Action CI #3: Commit 08033ba pushed by tjjfvi
March 2, 2025 14:02 22s main
main
March 2, 2025 14:02 22s
... Lean Action CI #2: Commit d398ddb pushed by tjjfvi
March 2, 2025 00:27 23s foo
foo
March 2, 2025 00:27 23s
EqN -> Eqv Lean Action CI #1: Commit beb812a pushed by tjjfvi
February 28, 2025 00:43 25s main
main
February 28, 2025 00:43 25s