Closed fabianp closed 1 year ago
This will build the documentation upon every push to master (not on unmerged pull requests) and push to https://jaxopt.github.io/dev/
This will build the documentation upon every push to master (not on unmerged pull requests) and push to https://jaxopt.github.io/dev/