Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[docs] update Rocket Control tutorial #3463

Merged
merged 2 commits into from
Aug 31, 2023
Merged

[docs] update Rocket Control tutorial #3463

merged 2 commits into from
Aug 31, 2023

Conversation

odow
Copy link
Member

@odow odow commented Aug 28, 2023

I'm giving a few tutorials in October at https://cermics-lab.enpc.fr/seso2023/ and https://julia-users-paris.github.io/workshop/en/.

My plan is to work through a few of these examples, with little exercises at the bottom for people to try. I think it makes sense to add these to the JuMP documentation.

x-ref #3459

Preview: https://jump.dev/JuMP.jl/previews/PR3463/tutorials/nonlinear/rocket_control/

@codecov
Copy link

codecov bot commented Aug 28, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (a573de2) 98.09% compared to head (3ac78f8) 98.09%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #3463   +/-   ##
=======================================
  Coverage   98.09%   98.09%           
=======================================
  Files          37       37           
  Lines        5501     5501           
=======================================
  Hits         5396     5396           
  Misses        105      105           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@odow
Copy link
Member Author

odow commented Aug 29, 2023

Will conflict with #3106. We could wait until after that is merged before merging this.

@odow odow force-pushed the od/rocket-control branch from 0deb5b5 to 4a7a950 Compare August 30, 2023 01:25
@odow odow force-pushed the od/rocket-control branch from 4a7a950 to 2eec51f Compare August 31, 2023 08:36
@odow odow merged commit e4d682d into master Aug 31, 2023
@odow odow deleted the od/rocket-control branch August 31, 2023 20:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

1 participant