Tutorials icon indicating copy to clipboard operation
Tutorials copied to clipboard
verified publisher icon gridap

Automatation of binder-related tasks

Open fverdugo opened this issue 6 years ago • 0 comments

  • [ ] Automatically add binder badges to the tutorial pages
  • [ ] Automatically update Project.toml and Manifest.toml in gh-pages branch

fverdugo avatar Aug 27 '19 16:08 fverdugo