Skip to content

Actions: MathNetwork/OpenGA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
238 workflow runs
238 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
Promote Util to top-level + add Riemann notation tier + clean def CI #13: Commit 6f59873 pushed by Xinze-Li-Moqian
2m 34s main
main
2m 34s
Clean math notation: eta-reduce ∇/⟦,⟧/Riem; simplify riemannCurvature… CI #12: Commit f771c89 pushed by Xinze-Li-Moqian
2m 22s main
main
2m 22s
Add riem_simp attribute + riem_normalize tactic; polish riemannCurvat… CI #11: Commit 2c14f90 pushed by Xinze-Li-Moqian
2m 40s main
main
2m 40s
Rename Foundations/ → Util/, lift HessianLie/ to Riemannian root CI #10: Commit d600fed pushed by Xinze-Li-Moqian
2m 34s main
main
2m 34s
Rename BV → BoundedVariation to match Mathlib4 naming convention CI #9: Commit 9e8ae26 pushed by Xinze-Li-Moqian
2m 29s main
main
2m 29s
Remove OpenGALib/MinMax/ — paper-bound, out of lib scope CI #8: Commit ae41145 pushed by Xinze-Li-Moqian
2m 48s main
main
2m 48s
Post-merge cleanup of PR #1 CI #7: Commit d754556 pushed by Xinze-Li-Moqian
2m 16s main
main
2m 16s
Post-merge cleanup of PR #1 CI #6: Commit 01c2898 pushed by Xinze-Li-Moqian
1m 20s main
main
1m 20s
Merge pull request #1 from MathNetwork/Topology CI #5: Commit cc78a96 pushed by Xinze-Li-Moqian
1m 24s main
main
1m 24s
Update CI #4: Pull request #1 opened by zhifeizhu92
2m 14s Topology
Topology
2m 14s
Initial commit: OpenGA library CI #3: Commit 898bbfb pushed by Xinze-Li-Moqian
1m 53s main
main
1m 53s
Initial commit: OpenGA library CI #2: Commit d13a3bf pushed by Xinze-Li-Moqian
5m 58s main
main
5m 58s
Initial commit: OpenGA library CI #1: Commit 8accd48 pushed by Xinze-Li-Moqian
6m 21s main
main
6m 21s
ProTip! You can narrow down the results and go further in time using created:<2026-05-05 or the other filters available.