Skip to content

Actions: AnandGokhale/LeanForControl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
156 workflow runs
156 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
Refactoring of linear systems begins Lean Action CI #96: Commit 7507ed0 pushed by AnandGokhale
3m 48s main
main
3m 48s
Refactoring of linear systems begins Compile blueprint #59: Commit 7507ed0 pushed by AnandGokhale
2m 47s main
main
2m 47s
Linear refactor Lean Action CI #95: Pull request #25 opened by AnandGokhale
3m 37s linearRefactor
linearRefactor
3m 37s
fixed linter warnings Lean Action CI #94: Commit c666d5f pushed by AnandGokhale
3m 48s linearRefactor
linearRefactor
3m 48s
added ODE refs Compile blueprint #58: Commit 8b9da85 pushed by AnandGokhale
57m 7s main
main
57m 7s
added ODE refs Lean Action CI #93: Commit 8b9da85 pushed by AnandGokhale
2m 32s main
main
2m 32s
corrected refs Compile blueprint #57: Commit 4cfbfb8 pushed by AnandGokhale
10m 51s main
main
10m 51s
corrected refs Lean Action CI #92: Commit 4cfbfb8 pushed by AnandGokhale
2m 45s main
main
2m 45s
moved refs from docstrings to blueprints Compile blueprint #56: Commit 7b9cbef pushed by AnandGokhale
28m 5s main
main
28m 5s
moved refs from docstrings to blueprints Lean Action CI #91: Commit 7b9cbef pushed by AnandGokhale
3m 37s main
main
3m 37s
named theorems Compile blueprint #55: Commit 87332d2 pushed by AnandGokhale
43m 31s main
main
43m 31s
named theorems Lean Action CI #90: Commit 87332d2 pushed by AnandGokhale
3m 22s main
main
3m 22s
Prove controllable and observable component properties Lean Action CI #89: Pull request #20 synchronize by dongxuelian2
Action required dongxuelian2:codex/kalman-reachable-observable
dongxuelian2:codex/kalman-reachable-observable
Action required
Prove controllable and observable component properties Lean Action CI #88: Pull request #20 synchronize by dongxuelian2
Action required dongxuelian2:codex/kalman-reachable-observable
dongxuelian2:codex/kalman-reachable-observable
Action required
Extensive cleanup of blueprints through the library Lean Action CI #87: Commit a41c1a0 pushed by AnandGokhale
4m 54s main
main
4m 54s
Extensive cleanup of blueprints through the library Compile blueprint #54: Commit a41c1a0 pushed by AnandGokhale
56m 50s main
main
56m 50s
Linear Lean Action CI #86: Pull request #23 opened by AnandGokhale
4m 43s linear
linear
4m 43s
cleanup of plans Lean Action CI #85: Commit adc3681 pushed by AnandGokhale
1m 45s linear
linear
1m 45s
added picardlindelof Lean Action CI #84: Commit 5f6ead4 pushed by AnandGokhale
2m 57s linear
linear
2m 57s
Prove controllable and observable component properties Lean Action CI #83: Pull request #20 synchronize by dongxuelian2
Action required dongxuelian2:codex/kalman-reachable-observable
dongxuelian2:codex/kalman-reachable-observable
Action required
eliminated incorrect axiom Lean Action CI #82: Commit 6455afe pushed by AnandGokhale
2m 10s linear
linear
2m 10s
cleanup of blueprints Lean Action CI #81: Commit 92acf2d pushed by AnandGokhale
2m 41s linear
linear
2m 41s
cleanup of blueprints Lean Action CI #80: Commit 64e5927 pushed by AnandGokhale
3m 4s linear
linear
3m 4s
eliminated sorry in CtsLTi Lean Action CI #79: Commit b198d5e pushed by AnandGokhale
2m 15s linear
linear
2m 15s
Merge pull request #22 from AnandGokhale/TrajectoryNA Lean Action CI #78: Commit fbaa7d7 pushed by AnandGokhale
2m 28s main
main
2m 28s