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

GHA: auto-publish dev docs on commit to main #501

Merged

jorisroovers merged 1 commit into main from ci-auto-deploy

Jun 8, 2023

+34 −2

Owner

jorisroovers commented Jun 7, 2023

Use GHA to automatically publish docs to the dev version when merged to
main.


          GHA: auto-publish dev docs on commit to main

4726c37

Use GHA to automatically publish docs to the dev version when merged to
main.

coveralls commented Jun 7, 2023

coverage: 99.661%. remained the same when pulling 4726c37 on ci-auto-deploy into 2970c19 on main.

jorisroovers merged commit b19e10c into main

43 checks passed

jorisroovers deleted the ci-auto-deploy branch

June 8, 2023 08:36

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