这是indexloc提供的服务,不要输入任何密码
Skip to content

Conversation

@domfarolino
Copy link
Collaborator

@domfarolino domfarolino commented Apr 26, 2022

This PR fixes the GitHub pages build which was previously targeting the wrong branch. Some day we will probably rename the master branch, but for now, this gets the spec up and running.

@domfarolino domfarolino merged commit 8d810e6 into master Apr 26, 2022
@domfarolino domfarolino deleted the domfarolino/fix-gh-pages branch April 26, 2022 20:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants