Skip to content

Actions: girving/ray

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lean and mathlib build #12: Commit d2d751b pushed by girving
November 9, 2024 21:06 15m 0s main
main
November 9, 2024 21:06 15m 0s
Try out numerical potential bounds build #11: Commit 8b13534 pushed by girving
October 4, 2024 20:24 12m 47s potential-bounds
potential-bounds
October 4, 2024 20:24 12m 47s
Update interval build #10: Commit 06aa499 pushed by girving
October 3, 2024 21:33 12m 50s main
main
October 3, 2024 21:33 12m 50s
Update lean and mathlib build #9: Commit 5227a08 pushed by girving
October 3, 2024 21:30 15m 2s main
main
October 3, 2024 21:30 15m 2s
lake update build #8: Commit 5ff919f pushed by girving
September 14, 2024 14:52 14m 43s main
main
September 14, 2024 14:52 14m 43s
Update mathlib, generalizing some AnalyticManifold theory to boundaries build #7: Commit 5fdf292 pushed by girving
August 24, 2024 17:20 12m 15s main
main
August 24, 2024 17:20 12m 15s
Update mathlib, and rename Holomorphic* to MAnalytic* build #6: Commit ea5ab4e pushed by girving
August 22, 2024 18:08 12m 23s main
main
August 22, 2024 18:08 12m 23s
Change CI workflow name build #5: Commit 1907e2e pushed by girving
August 21, 2024 21:36 12m 9s main
main
August 21, 2024 21:36 12m 9s
Add CI status to README.md build #4: Commit 34b3573 pushed by girving
August 21, 2024 21:35 12m 28s main
main
August 21, 2024 21:35 12m 28s
Fix ChartedSpace.lean build #3: Commit 4ae99fc pushed by girving
August 21, 2024 16:36 12m 7s main
main
August 21, 2024 16:36 12m 7s
Simplify approx_bad_potential_image build #2: Commit e057e80 pushed by girving
August 20, 2024 22:42 11m 51s main
main
August 20, 2024 22:42 11m 51s
Add CI build #1: Commit 2932016 pushed by girving
August 20, 2024 22:28 14m 18s main
main
August 20, 2024 22:28 14m 18s