Skip to content

Actions: AnandGokhale/LeanForControl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fixed latex Compile blueprint #38: Commit 1ad69c7 pushed by AnandGokhale
42m 16s main
main
42m 16s
fixed latex Lean Action CI #51: Commit 1ad69c7 pushed by AnandGokhale
2m 8s main
main
2m 8s
fixing website Lean Action CI #50: Commit 09287ed pushed by AnandGokhale
2m 26s main
main
2m 26s
fixing website Compile blueprint #37: Commit 09287ed pushed by AnandGokhale
4m 42s main
main
4m 42s
peano baker Compile blueprint #36: Commit 36afd5e pushed by AnandGokhale
7m 35s main
main
7m 35s
peano baker Lean Action CI #49: Commit 36afd5e pushed by AnandGokhale
36m 42s main
main
36m 42s
Formalize the finite-dimensional Kalman decomposition Lean Action CI #48: Pull request #14 synchronize by dongxuelian2
Action required dongxuelian2:kalman-decomposition
dongxuelian2:kalman-decomposition
Action required
Consolidate definitions into one Defs.lean per directory Lean Action CI #47: Commit 8bf403a pushed by AnandGokhale
39m 4s main
main
39m 4s
Consolidate definitions into one Defs.lean per directory Compile blueprint #35: Commit 8bf403a pushed by AnandGokhale
36m 42s main
main
36m 42s
Split LinearSystems/Structure into Controllability, Observability, Ka… Lean Action CI #46: Commit d2deddf pushed by AnandGokhale
45m 53s main
main
45m 53s
Split LinearSystems/Structure into Controllability, Observability, Ka… Compile blueprint #34: Commit d2deddf pushed by AnandGokhale
22m 26s main
main
22m 26s
De-duplicate controllabilityMatrix_mulVec_eq_sum Lean Action CI #45: Commit 8271e02 pushed by AnandGokhale
47m 21s main
main
47m 21s
De-duplicate controllabilityMatrix_mulVec_eq_sum Compile blueprint #33: Commit 8271e02 pushed by AnandGokhale
48m 14s main
main
48m 14s
added planning for linearSystems Compile blueprint #32: Commit 865d9cb pushed by AnandGokhale
53m 13s main
main
53m 13s
added planning for linearSystems Lean Action CI #44: Commit 865d9cb pushed by AnandGokhale
47m 31s main
main
47m 31s
Formalize both branches of Lyapunov's indirect method Lean Action CI #43: Pull request #15 opened by math-experiments
Action required math-experiments:codex/issue-9-lyapunov-indirect-method
math-experiments:codex/issue-9-lyapunov-indirect-method
Action required
Formalize the finite-dimensional Kalman decomposition Lean Action CI #42: Pull request #14 synchronize by dongxuelian2
2m 9s dongxuelian2:kalman-decomposition
dongxuelian2:kalman-decomposition
2m 9s
Formalize the finite-dimensional Kalman decomposition Lean Action CI #41: Pull request #14 synchronize by dongxuelian2
Action required dongxuelian2:kalman-decomposition
dongxuelian2:kalman-decomposition
Action required
Add Hurwitz matrix foundation Lean Action CI #40: Pull request #13 synchronize by raaghav-t
2d 20h 12m 48s raaghav-t:feat/hurwitz-foundation
raaghav-t:feat/hurwitz-foundation
2d 20h 12m 48s
Formalize the finite-dimensional Kalman decomposition Lean Action CI #39: Pull request #14 opened by dongxuelian2
3m 52s dongxuelian2:kalman-decomposition
dongxuelian2:kalman-decomposition
3m 52s
Add Hurwitz matrix foundation Lean Action CI #38: Pull request #13 synchronize by raaghav-t
4m 19s raaghav-t:feat/hurwitz-foundation
raaghav-t:feat/hurwitz-foundation
4m 19s
Add Hurwitz matrix foundation Lean Action CI #37: Pull request #13 opened by raaghav-t
9d 12h 31m 52s raaghav-t:feat/hurwitz-foundation
raaghav-t:feat/hurwitz-foundation
9d 12h 31m 52s
fixed license and citation Lean Action CI #36: Commit c5cedca pushed by AnandGokhale
46m 16s main
main
46m 16s
fixed license and citation Compile blueprint #31: Commit c5cedca pushed by AnandGokhale
46m 13s main
main
46m 13s
fixed license Compile blueprint #30: Commit 56a3335 pushed by AnandGokhale
4m 4s main
main
4m 4s