Skip to content

Revert "ci: increase docs deploy timeout"#975

Merged
JoanFM merged 1 commit intomainfrom
revert-968-docs-increase-deploy-timeout
Jan 3, 2023
Merged

Revert "ci: increase docs deploy timeout"#975
JoanFM merged 1 commit intomainfrom
revert-968-docs-increase-deploy-timeout

Conversation

@alaeddine-13
Copy link
Copy Markdown
Member

Reverts #968

@JoanFM JoanFM merged commit b5977a2 into main Jan 3, 2023
@github-actions github-actions bot added the size/s label Jan 3, 2023
@JoanFM JoanFM deleted the revert-968-docs-increase-deploy-timeout branch January 3, 2023 12:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants