Skip to content

ci: do not require django ci job#175

Merged
dhellmann merged 1 commit intosphinx-contrib:masterfrom
dhellmann:disable-django-integration-job
May 30, 2022
Merged

ci: do not require django ci job#175
dhellmann merged 1 commit intosphinx-contrib:masterfrom
dhellmann:disable-django-integration-job

Conversation

@dhellmann
Copy link
Copy Markdown
Member

This can be restored when https://code.djangoproject.com/ticket/33753
is fixed.

@mergify mergify bot added ci a CI change mergify labels May 30, 2022
@dhellmann dhellmann merged commit 932ef72 into sphinx-contrib:master May 30, 2022
dhellmann added a commit to dhellmann/spelling that referenced this pull request May 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci a CI change mergify

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant