Skip to content

Actions: lunar-starlight/triposes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added comments Lean Action CI #18: Commit b8757dc pushed by lunar-starlight
1m 11s main
main
1m 11s
added comments Compile blueprint #15: Commit b8757dc pushed by lunar-starlight
7m 24s main
main
7m 24s
fix latex bugs Compile blueprint #14: Commit dffa5eb pushed by lunar-starlight
8m 30s main
main
8m 30s
fix latex bugs Lean Action CI #17: Commit dffa5eb pushed by lunar-starlight
1m 14s main
main
1m 14s
update blueprint Compile blueprint #13: Commit 020c767 pushed by lunar-starlight
8m 44s main
main
8m 44s
update blueprint Lean Action CI #16: Commit 020c767 pushed by lunar-starlight
2m 2s main
main
2m 2s
defined the tripos-to-topos construction! Compile blueprint #12: Commit 3c243dc pushed by lunar-starlight
9m 33s main
main
9m 33s
defined the tripos-to-topos construction! Lean Action CI #15: Commit 3c243dc pushed by lunar-starlight
1m 43s main
main
1m 43s
Rework the language with an underlying inductive type Lean Action CI #14: Pull request #1 opened by lunar-starlight
1m 46s structure-test
structure-test
1m 46s
defined the tripos-to-topos construction! Lean Action CI #13: Commit 873e965 pushed by lunar-starlight
1m 19s structure-test
structure-test
1m 19s
added Beck-Chevalley for Formulas Lean Action CI #12: Commit 41ce56d pushed by lunar-starlight
1m 51s structure-test
structure-test
1m 51s