Improve CI #21

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.

Sign up for GitHub

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

Jump to bottom

Merged

gdalle merged 6 commits into main from gd/improve_ci

Sep 29, 2023

Member

gdalle commented Sep 29, 2023 •

edited

Loading

Documenter v1.0
Push preview and cleanup

gdalle added 6 commits

September 29, 2023 09:28


          Improve CI

086162d


          Rm deps

da88d23


          Rm deps for real

33437e2


          No deps at all

fd2568a


          Fix URL

9ccc506


          Simpler makedocs

f7ea76c

gdalle merged commit f43d51f into main

gdalle deleted the gd/improve_ci branch

September 29, 2023 08:03

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet