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

chore: add master branch to doc generation workflow #56

Merged

chris-little merged 1 commit into master from rt-update-gha

Oct 31, 2023

Collaborator

ronaldtse commented Oct 31, 2023

From @chris-little :

The workflow on GitHub has not worked so that the PDF that I see is an old version. Can we create an up-to-date version to give to Scott so it can be release to the public for RFC please?

The problem is that the default branch is called master (old way) but the workflow is only triggered on main (new way).

I've updated the workflow to reflect such. Hope it works!


          chore: add master branch to doc generation workflow

e0b86b7

chris-little merged commit 4aad289 into master

2 checks passed

chris-little deleted the rt-update-gha branch

October 31, 2023 09:44

Contributor

chris-little commented Oct 31, 2023

@ronaldtse @cmheazel Let's hope this works!

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

Labels

None yet